Cover Image

Proceedings 14th International Conference on Automated Deduction in Geometry

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Quaresma, Pedro, Kovács, Zoltán
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence Computational Geometry Mathematical Software
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Proceedings 12th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2024)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2025)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions
by: King, Daragh, et al.
Published: (2025)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
by: Munive, Jonathan Julián Huerta y, et al.
Published: (2024)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
by: Hota, Amela, et al.
Published: (2024)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
by: Huang, Litian, et al.
Published: (2024)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
by: Gamboa, Ruben, et al.
Published: (2025)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
by: Orvalho, Pedro, et al.
Published: (2024)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
by: Ganguly, Debargha, et al.
Published: (2025)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
by: Altuntas, Alper, et al.
Published: (2025)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
by: Kaufmann, Matt, et al.
Published: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
by: ter Beek, Maurice H., et al.
Published: (2026)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

GNU Aris: a web application for students
by: Attri, Saksham, et al.
Published: (2025)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

MacroSwarm: A Field-based Compositional Framework for Swarm Programming
by: Aguzzi, Gianluca, et al.
Published: (2024)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
by: Lu, Zhengyang, et al.
Published: (2024)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
by: Chen, Minyu, et al.
Published: (2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)

CoqPilot, a plugin for LLM-based generation of proofs
by: Kozyrev, Andrei, et al.
Published: (2024)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
by: Rodríguez, Andoni, et al.
Published: (2024)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

Declarative Scenario-based Testing with RoadLogic
by: Bartocci, Ezio, et al.
Published: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
by: Sundermann, Chico, et al.
Published: (2025)

Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems
by: van Binsbergen, L. Thomas, et al.
Published: (2025)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
by: Sigloch, Paul, et al.
Published: (2026)

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
by: Evangelidis, Alexandros, et al.
Published: (2025)

Analogical proportions II
by: Antić, Christian
Published: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
by: De Angelis, Emanuele, et al.
Published: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
by: Arusoaie, Andrei, et al.
Published: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)