:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Mendez, Julian Alfredo
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages Artificial Intelligence Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2310.01961
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Can Proof Assistants Verify Multi-Agent Systems?
par: Mendez, Julian Alfredo, et autres
Publié: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
par: Yubeaton, Patrick, et autres
Publié: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

Pearce's Characterisation in an Epistemic Domain
par: Su, Ezgi Iraz
Publié: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
par: Ileri, Atalay Mert, et autres
Publié: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
par: Bollig, Benedikt
Publié: (2026)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
par: Kasibatla, Saketh Ram, et autres
Publié: (2024)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
par: Santana, Manuel Alejandro Borroto, et autres
Publié: (2026)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
par: King, Daragh, et autres
Publié: (2025)

A Reversible Semantics for Janus
par: Lanese, Ivan, et autres
Publié: (2026)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
par: Desmartin, Remi, et autres
Publié: (2024)

Dafny as Verification-Aware Intermediate Language for Code Generation
par: Li, Yue Chen, et autres
Publié: (2025)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
par: Fan, Wen, et autres
Publié: (2024)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
par: Tremante, Andrew, et autres
Publié: (2026)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
par: Shrager, Jeff
Publié: (2026)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
par: Tsoukalas, George, et autres
Publié: (2024)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
par: Zhang, Dylan, et autres
Publié: (2024)

NLP Verification: Towards a General Methodology for Certifying Robustness
par: Casadio, Marco, et autres
Publié: (2024)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
par: Yao, Shucai, et autres
Publié: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2023)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
par: Mukherji, Kaustuv, et autres
Publié: (2025)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
par: Vin, Eric, et autres
Publié: (2025)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
par: Rao, Balaji, et autres
Publié: (2026)

Sequential composition of answer set programs
par: Antić, Christian
Publié: (2021)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2025)

Agentic Proving for Program Verification
par: Sosso, Alessandro, et autres
Publié: (2026)

Inferring multiple helper Dafny assertions with LLMs
par: Silva, Álvaro, et autres
Publié: (2025)

Decidable By Construction: Design-Time Verification for Trustworthy AI
par: Haynes, Houston
Publié: (2026)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

Enforcing Temporal Constraints for LLM Agents
par: Kamath, Adharsh, et autres
Publié: (2025)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
par: Kouteili, Sam Nicholas, et autres
Publié: (2026)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
par: Rahman, A M Muntasir, et autres
Publié: (2024)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
par: Zhang, Dylan, et autres
Publié: (2024)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
par: Brandfonbrener, David, et autres
Publié: (2024)

Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
par: Li, Hanyu, et autres
Publié: (2025)

Llemma: An Open Language Model For Mathematics
par: Azerbayev, Zhangir, et autres
Publié: (2023)