:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bhat, Vishak K, Chanda, Prateek, Ekbote, Vijval, Khandelwal, Ashmit, Swaroop, Maitreyi, Balasubramanian, Vineeth N., Kambhampati, Subbarao, Natarajan, Nagarajan, Sharma, Amit
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2602.11202
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Can Large Language Models Reason and Plan?
von: Kambhampati, Subbarao
Veröffentlicht: (2024)

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System
von: Rose, Samuel, et al.
Veröffentlicht: (2024)

On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks
von: Stechly, Kaya, et al.
Veröffentlicht: (2024)

Characterizing Deep Research: A Benchmark and Formal Definition
von: Java, Abhinav, et al.
Veröffentlicht: (2025)

Complexity of Verification and Synthesis of Threshold Automata
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
von: Jana, Purbita, et al.
Veröffentlicht: (2025)

Can large language models reason and plan?
von: Subbarao Kambhampati
Veröffentlicht: (2024)

Mind The Gap: Quantifying Mechanistic Gaps in Algorithmic Reasoning via Neural Compilation
von: Saldyt, Lucas, et al.
Veröffentlicht: (2025)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
von: Balasubramanian, A. R.
Veröffentlicht: (2024)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
von: Allen, Bradley P., et al.
Veröffentlicht: (2025)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Verification Modulo Tested Library Contracts
von: Uppar, Abhishek, et al.
Veröffentlicht: (2026)

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
von: Lotz, Martin, et al.
Veröffentlicht: (2024)

Distinct Distances on Pfaffian Curves
von: Natarajan, Abhiram, et al.
Veröffentlicht: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
von: Li, Dazhu, et al.
Veröffentlicht: (2025)

Do Cognitively Interpretable Reasoning Traces Improve LLM Performance?
von: Bhambri, Siddhant, et al.
Veröffentlicht: (2025)

Hypersequent Calculi Have Ackermannian Complexity
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

Hyperproperty Verification as CHC Satisfiability
von: Itzhaky, Shachar, et al.
Veröffentlicht: (2023)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

Tools at the Frontiers of Quantitative Verification
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Verification of Configurable SRA Systems
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2026)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
von: Kawamoto, Yusuke, et al.
Veröffentlicht: (2024)

Revisiting Differential Verification: Equivalence Verification with Confidence
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Algorithmic Language Models with Neurally Compiled Libraries
von: Saldyt, Lucas, et al.
Veröffentlicht: (2024)

Runtime Verification of Interactions Using Automata
von: Weil-Kennedy, Chana, et al.
Veröffentlicht: (2025)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Runtime Verification for LTL in Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
von: Cailler, Julie, et al.
Veröffentlicht: (2026)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
von: Akshay, S., et al.
Veröffentlicht: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
von: Yubeaton, Patrick, et al.
Veröffentlicht: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
von: Akshay, S., et al.
Veröffentlicht: (2025)