Image de couverture de livre

Bolzano: Case Studies in LLM-Assisted Mathematical Research

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Balko, Martin, Grebík, Jan, Hubáček, Pavel, Koutecký, Martin, Kripner, Matěj, Rozhoň, Václav, Šámal, Robert, Zámečník, Adrián
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language Artificial Intelligence Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
par: Brandt, Sebastian, et autres
Publié: (2022)

On Homomorphism Graphs
par: Brandt, Sebastian, et autres
Publié: (2021)

From descriptive to distributed
par: Grebík, Jan, et autres
Publié: (2025)

Measurable Vizing's theorem
par: Grebík, Jan
Publié: (2023)

A dependently-typed calculus of event telicity and culminativity
par: Kovalev, Pavel, et autres
Publié: (2025)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
par: Srbinovska, Anita, et autres
Publié: (2026)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
par: Rowicki, Radosław Jan, et autres
Publié: (2025)

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

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
par: Sulzmann, Martin
Publié: (2026)

Two Cases of Deduction with Non-referring Descriptions
par: Raclavský, Jiří
Publié: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
par: Bourigault, Pauline, et autres
Publié: (2026)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Complexity of Linear Equations and Infinite Gadgets
par: Grebík, Jan, et autres
Publié: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
par: Cao, Chuxue, et autres
Publié: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
par: Viennot, Jules, et autres
Publié: (2025)

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

RvLLM: LLM Runtime Verification with Domain Knowledge
par: Zhang, Yedi, et autres
Publié: (2025)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
par: Balko, Martin, et autres
Publié: (2021)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
par: Pham, Long, et autres
Publié: (2023)

Programming Really Is Simple Mathematics
par: Meyer, Bertrand, et autres
Publié: (2025)

On Ambiguity: The case of fraction, its meanings and roles
par: Bergstra, Jan A, et autres
Publié: (2026)

Mathematics with large language models as provers and verifiers
par: Duc, Hieu Le, et autres
Publié: (2025)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
par: Knop, Dušan, et autres
Publié: (2017)

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

Basic interactive algorithms: Preview
par: Gurevich, Yuri
Publié: (2025)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
par: Noël, Valentin
Publié: (2026)

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

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
par: Kalyanpur, Aditya, et autres
Publié: (2024)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
par: Allen, Bradley P., et autres
Publié: (2025)

Robust Probabilistic Temporal Logics
par: Zimmermann, Martin
Publié: (2023)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
par: Zhang, Xinglang, et autres
Publié: (2026)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

LFPL: Revisited and Mechanized
par: Glover, Nathaniel, et autres
Publié: (2026)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
par: Shen, Ziju, et autres
Publié: (2025)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
par: Song, Zhuo-Yang
Publié: (2025)