Cover Image

Synthesis Benchmarks for Automated Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hajdu, Márton, Hozzová, Petra, Kovács, Laura, Voronkov, Andrei, Wagner, Eva Maria, Žilinčík, Richard Steven
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Getting Saturated with Induction
by: Hajdu, Márton, et al.
Published: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
by: Hajdu, Márton, et al.
Published: (2026)

Program Synthesis in Saturation
by: Hozzová, Petra, et al.
Published: (2024)

Partial Redundancy in Saturation
by: Hajdu, Márton, et al.
Published: (2025)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

The Vampire Diary
by: Bártek, Filip, et al.
Published: (2025)

Saturating Sorting without Sorts
by: Georgiou, Pamina, et al.
Published: (2024)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
by: Hozzová, Petra, et al.
Published: (2025)

Lean on Vampire Proofs (Short Paper)
by: Bodingbauer, Jonas, et al.
Published: (2026)

From MBQI to Enumerative Instantiation and Back
by: Dančo, Marek, et al.
Published: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
by: Hozzová, Petra, et al.
Published: (2024)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
by: Jeanteur, Simon, et al.
Published: (2023)

PolySAT: Word-level Bit-vector Reasoning in Z3
by: Rath, Jakob, et al.
Published: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
by: Hader, Thomas, et al.
Published: (2024)

Linear Loop Synthesis for Quadratic Invariants
by: Hitarth, S., et al.
Published: (2023)

Lazy Reimplication in Chronological Backtracking
by: Coutelier, Robin, et al.
Published: (2025)

Finding Connections via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2026)

Constraint Learning for Non-confluent Proof Search
by: Rawson, Michael, et al.
Published: (2026)

Spanning Matrices via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2024)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Interpolation with Automated First-Order Reasoning
by: Wernhard, Christoph
Published: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

Certificate-Aware Property-Directed Reachability
by: Ferdowsi, Arman, et al.
Published: (2026)

On Solving String Equations via Powers and Parikh Images
by: Eisenhofer, Clemens, et al.
Published: (2026)

SAT-Based Subsumption Resolution
by: Coutelier, Robin, et al.
Published: (2024)

SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)

Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
by: Niederhauser, Johannes, et al.
Published: (2024)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
by: Katsura, Hiroyuki, et al.
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers
by: Key, Hojer
Published: (2025)

Automated Tactics for Polynomial Reasoning in Lean 4
by: Shen, Hao, et al.
Published: (2026)

Reasoning about Medical Triage Optimization with Logic Programming
by: Patil, Jaikrishna Manojkumar, et al.
Published: (2025)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
by: Chevallier, Mark, et al.
Published: (2025)