<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Results for "ArXiv cs.IT Recent Papers"</title>
    <description>Showing 1 - 50 results of 1741</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=%22ArXiv+cs.IT+Recent+Papers%22&amp;type=Subject&amp;lng=en</link>
    <opensearch:totalResults>1741</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22ArXiv%20cs.IT%20Recent%20Papers%22" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Go to First Page" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22ArXiv+cs.IT+Recent+Papers%22&amp;type=Subject&amp;lng=en"/>
    <atom:link rel="next" type="application/rss+xml" title="Go to Next Page" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22ArXiv+cs.IT+Recent+Papers%22&amp;type=Subject&amp;lng=en&amp;page=2"/>
    <atom:link rel="last" type="application/rss+xml" title="Go to Last Page" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22ArXiv+cs.IT+Recent+Papers%22&amp;type=Subject&amp;lng=en&amp;page=35"/>
    <atom:link rel="self" type="application/rss+xml" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22ArXiv+cs.IT+Recent+Papers%22&amp;type=Subject&amp;lng=en"/>
    <item>
      <title>Framework for Collaborative Operation of Autonomous Delivery Vehicles Within a Marshaling Yard</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48434</link>
      <guid>https://search.frelip.org/Record/rss_article:48434</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Language Models Refine Mechanical Linkage Designs Through Symbolic Reflection and Modular Optimisation</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48435</link>
      <guid>https://search.frelip.org/Record/rss_article:48435</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Can We Volunteer Out of the Peer Review Crisis?</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48436</link>
      <guid>https://search.frelip.org/Record/rss_article:48436</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>ObjectGraph: From Document Injection to Knowledge Traversal -- A Native File Format for the Agentic Era</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48437</link>
      <guid>https://search.frelip.org/Record/rss_article:48437</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Autonomous Traffic Signal Optimization Using Digital Twin and Agentic AI for Real-Time Decision-Making</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48438</link>
      <guid>https://search.frelip.org/Record/rss_article:48438</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>RoadMapper: A Multi-Agent System for Roadmap Generation of Solving Complex Research Problems</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48439</link>
      <guid>https://search.frelip.org/Record/rss_article:48439</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Continuous-time q-learning for mean-field control with common noise, part-II: q-learning algorithms</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48440</link>
      <guid>https://search.frelip.org/Record/rss_article:48440</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Continuous-time q-learning for mean-field control with common noise, part-I: Theoretical foundations</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48441</link>
      <guid>https://search.frelip.org/Record/rss_article:48441</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Reinforced Agent: Inference-Time Feedback for Tool-Calling Agents</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48442</link>
      <guid>https://search.frelip.org/Record/rss_article:48442</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>When Roles Fail: Epistemic Constraints on Advocate Role Fidelity in LLM-Based Political Statement Analysis</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48443</link>
      <guid>https://search.frelip.org/Record/rss_article:48443</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Nothing Deceives Like Success: Social Learning and the Illusion of Understanding in Science</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48444</link>
      <guid>https://search.frelip.org/Record/rss_article:48444</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A High-Throughput Compute-Efficient POMDP Hide-And-Seek-Engine (HASE) for Multi-Agent Operations</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48445</link>
      <guid>https://search.frelip.org/Record/rss_article:48445</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Bian Que: An Agentic Framework with Flexible Skill Arrangement for Online System Operations</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48446</link>
      <guid>https://search.frelip.org/Record/rss_article:48446</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Preserving Disagreement: Architectural Heterogeneity and Coherence Validation in Multi-Agent Policy Simulation</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48447</link>
      <guid>https://search.frelip.org/Record/rss_article:48447</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48448</link>
      <guid>https://search.frelip.org/Record/rss_article:48448</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Split over $n$ resource sharing problem: Are fewer capable agents better than many simpler ones?</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48449</link>
      <guid>https://search.frelip.org/Record/rss_article:48449</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>When Agents Shop for You: Role Coherence in AI-Mediated Markets</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48450</link>
      <guid>https://search.frelip.org/Record/rss_article:48450</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Agent Name Service (ANS): A Proof-of-Concept Trust Layer for Secure AI Agent Discovery, Identity, and Governance in Kubernetes</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48451</link>
      <guid>https://search.frelip.org/Record/rss_article:48451</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Operating-Layer Controls for Onchain Language-Model Agents Under Real Capital</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48452</link>
      <guid>https://search.frelip.org/Record/rss_article:48452</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48453</link>
      <guid>https://search.frelip.org/Record/rss_article:48453</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Pythia: Toward Predictability-Driven Agent-Native LLM Serving</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48454</link>
      <guid>https://search.frelip.org/Record/rss_article:48454</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Volitional Multiagent Atomic Transactions: Describing People and their Machines</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48455</link>
      <guid>https://search.frelip.org/Record/rss_article:48455</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Should I Replan? Learning to Spot the Right Time in Robust MAPF Execution</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48456</link>
      <guid>https://search.frelip.org/Record/rss_article:48456</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Survey of Multi-Agent Deep Reinforcement Learning with Graph Neural Network-Based Communication</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48457</link>
      <guid>https://search.frelip.org/Record/rss_article:48457</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Where Did It Go Wrong? Capability-Oriented Failure Attribution for Vision-and-Language Navigation Agents</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48458</link>
      <guid>https://search.frelip.org/Record/rss_article:48458</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Non-negative Rational Semantic Numeration Systems</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48459</link>
      <guid>https://search.frelip.org/Record/rss_article:48459</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Splitting Argumentation Frameworks with Collective Attacks and Supports</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48460</link>
      <guid>https://search.frelip.org/Record/rss_article:48460</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48461</link>
      <guid>https://search.frelip.org/Record/rss_article:48461</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48462</link>
      <guid>https://search.frelip.org/Record/rss_article:48462</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Attractor FCM</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48463</link>
      <guid>https://search.frelip.org/Record/rss_article:48463</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computing Witnesses Using the SCAN Algorithm</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48464</link>
      <guid>https://search.frelip.org/Record/rss_article:48464</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Logic of Inability</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48465</link>
      <guid>https://search.frelip.org/Record/rss_article:48465</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Order-invariant cluster first-order logic on graph classes of bounded degree</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48466</link>
      <guid>https://search.frelip.org/Record/rss_article:48466</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>BAss: Symbolic Reasoning in Abstract Dialectical Frameworks</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48467</link>
      <guid>https://search.frelip.org/Record/rss_article:48467</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48468</link>
      <guid>https://search.frelip.org/Record/rss_article:48468</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Full Definability in a Profunctorial Model</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48469</link>
      <guid>https://search.frelip.org/Record/rss_article:48469</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48470</link>
      <guid>https://search.frelip.org/Record/rss_article:48470</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48471</link>
      <guid>https://search.frelip.org/Record/rss_article:48471</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>An Effective Orchestral Approach to Satisfiability Modulo Prime Fields</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48472</link>
      <guid>https://search.frelip.org/Record/rss_article:48472</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>On-the-fly LTLf Synthesis under Partial Observability</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48473</link>
      <guid>https://search.frelip.org/Record/rss_article:48473</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Finite-Horizon First-Order Rank Profiles of Regular Languages</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48474</link>
      <guid>https://search.frelip.org/Record/rss_article:48474</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48475</link>
      <guid>https://search.frelip.org/Record/rss_article:48475</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Templates in Rewriting Induction</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48476</link>
      <guid>https://search.frelip.org/Record/rss_article:48476</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48477</link>
      <guid>https://search.frelip.org/Record/rss_article:48477</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Pseudo-Complex Quantifier Elimination</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48478</link>
      <guid>https://search.frelip.org/Record/rss_article:48478</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automaton-based Characterisations of First Order Logic over Infinite Trees</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48479</link>
      <guid>https://search.frelip.org/Record/rss_article:48479</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Quantum Bayesian Networks: Compositionality and Typing via Linear Logic</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48480</link>
      <guid>https://search.frelip.org/Record/rss_article:48480</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Verification of Neural Networks (Lecture Notes)</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48481</link>
      <guid>https://search.frelip.org/Record/rss_article:48481</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computing Equilibrium beyond Unilateral Deviation</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48482</link>
      <guid>https://search.frelip.org/Record/rss_article:48482</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Exploration Hacking: Can LLMs Learn to Resist RL Training?</title>
      <pubDate>Thu, 01 Jan 2026 16:40:42 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:48483</link>
      <guid>https://search.frelip.org/Record/rss_article:48483</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
