Skip to main content

Logic in Computer Science

Authors and titles for recent submissions

See today's new changes

Total of 52 entries : 1-50 51-52
Showing up to 50 entries per page: fewer | more | all

Thu, 22 Oct 2026 (showing 12 of 12 entries )

[1] arXiv:2610.29874 [pdf, other]
Title: Coherent differentiation with a monoid of degrees: derivatives, Taylor expansion, finite differences...
Thomas Ehrhard (IRIF (UMR\_8243), Inria, PICUBE), Aymeric Walch
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[2] arXiv:2610.29736 [pdf, html, other]
Title: Two Sides of the Same Proof: Extraction and Projection in Choreographic Programming
Matteo Acclavio, Giulia Manara, Fabrizio Montesi, Marco Peressotti
Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:2610.29585 [pdf, html, other]
Title: Any colour you like, as long as it's UIP: Semi-simplicial types from weakenings and thinnings
Thorsten Altenkirch
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2610.29445 [pdf, html, other]
Title: Deciding Scale Placement in MXFP4 Dot Products with Integer Arithmetic
Shreyas Vinayakumar
Comments: 24 pages including references and two appendices, 1 figure, 5 tables
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[5] arXiv:2610.29287 [pdf, html, other]
Title: Post-Pruning vs. Early Stopping: Which Works Better for Link Prediction with AnyBurl?
Thomas Eiter, Davide Soldà, Hai Xia
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:2610.28906 [pdf, html, other]
Title: Strict Equality in Higher Identity Types: Axioms, Completeness, Decidability
Keri D'Angelo, Liron Cohen, Luke Serafin, Dexter Kozen
Subjects: Logic in Computer Science (cs.LO)
[7] arXiv:2610.28805 [pdf, html, other]
Title: SAT Sampling at Scale via GPU-based Boolean Constraint Propagation
Alexander Nadel, Yogev Shalmon, Ofer Strichman
Comments: 22 pages, 3 figures, 3 tables
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[8] arXiv:2610.29771 (cross-list from math.CT) [pdf, html, other]
Title: Logic vs doctrines, a mirror symmetry
Ivan Di Liberti, Umberto Tarantino, Lingyuan Ye
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[9] arXiv:2610.29147 (cross-list from cs.SE) [pdf, html, other]
Title: VERDICT: Multi-Agent Parallel Modular Verification
Tengjie Lin, Zhongyi Wang, Haokun Li, Jianwei Yin, Mingshuai Chen
Comments: Accepted at ICSE 2027
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[10] arXiv:2610.28955 (cross-list from cs.RO) [pdf, html, other]
Title: SLoSa: Small, Low-Power, and Safe Foundation Models for Robotic Task Planning
Weizhe Xu, Jialiang Fan, Essien Taylor, Zijun Wang, Russell Joseph, Fanxin Kong
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[11] arXiv:2610.28928 (cross-list from cs.SC) [pdf, html, other]
Title: An algorithmic construction of Nullstellensatz certificates for graph automorphism groups
Ivan Drecun
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[12] arXiv:2610.28912 (cross-list from cs.AI) [pdf, html, other]
Title: Simply Logical -- The First Three Decades
Peter Flach, Kacper Sokol, Jan Wielemaker
Comments: Published in "Prolog: The Next 50 Years"
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 21 Oct 2026 (showing 11 of 11 entries )

[13] arXiv:2610.28460 [pdf, other]
Title: Linear Axiomatization of Linear Differential Equations
Long Qian, André Platzer
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[14] arXiv:2610.28370 [pdf, html, other]
Title: A General Construction of Strict Models in HoTT
Niyousha Najmaei, Niels van der Weide
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[15] arXiv:2610.27957 [pdf, html, other]
Title: Containment of Conjunctive Queries with Negative Information over Semirings
Guillermo Badia, Carles Noguera, Gaia Petreni, Alice Portone, Val Tannen
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[16] arXiv:2610.27264 [pdf, html, other]
Title: Theorem prover Arend
Fedor Part, Valery Isaev, Sergey Sinchuk
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[17] arXiv:2610.27196 [pdf, other]
Title: Natural Deduction Derivations as Directed Acyclic Proof Graphs
Jonathan Chan, Aaron Stump
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2610.27163 [pdf, html, other]
Title: Higher Tripos Theory
Yoshihiro Maruyama
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:2610.28525 (cross-list from cs.PL) [pdf, html, other]
Title: What is a Good Projection?: Correctness and Separation Results of End-Point Projections
Jake Masters, Nobuko Yoshida
Comments: 91 pages. 6 figures. Conditionally accepted to POPL 2027
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[20] arXiv:2610.28484 (cross-list from cs.AI) [pdf, html, other]
Title: Proof-Carrying Contracts: Commitments AI Agents Cannot Break
Carlo Ciliberto, Alessandro Rudi, Enrico Tassi
Comments: 70 pages, 8 Figures,
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Systems and Control (eess.SY)
[21] arXiv:2610.27620 (cross-list from cs.CR) [pdf, html, other]
Title: Local Allow, Global Deny: Why Per-Action Authorization Does Not Compose in LLM Agents
Anmol Pandey, Aditya Jain, Liang Chen, Carsten Maple
Comments: Extended version of a paper accepted at the 8th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (IEEE TPS 2026), with full proofs and appendices. 12 pages, 5 figures, 7 tables. Code and data: this https URL
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[22] arXiv:2610.27482 (cross-list from cs.FL) [pdf, html, other]
Title: Rational polynomial solvability reduces to stratifiability of semilinear sets
Michaël Cadilhac
Comments: 13 pages plus 10 pages of appendix
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[23] arXiv:2610.27441 (cross-list from cs.CR) [pdf, html, other]
Title: Privacy-Preserving Robustness-Guided Testing
Charles Koll, Houssam Abbas, Mike Rosulek
Comments: 5 pages, 3 figures, presented at IEEE/ACM Embedded Systems Week (ESWEEK) 2026 for ACM SIGBED International Conference on Embedded Software (EMSOFT) 2026
Journal-ref: IEEE Embedded Systems Letters vol. 18 no. 5 (2026) 353-356
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

Tue, 20 Oct 2026 (showing 16 of 16 entries )

[24] arXiv:2610.26626 [pdf, html, other]
Title: VoxLogicA2: A Spatial Model Checker for Neuro-symbolic Medical Imaging (extended version)
Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Mieke Massink
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:2610.26467 [pdf, html, other]
Title: Rózsa: Certified Equational Reasoning
Georgios Kissas
Subjects: Logic in Computer Science (cs.LO)
[26] arXiv:2610.26193 [pdf, html, other]
Title: Anytime-Valid Monitoring of Robust Stochastic Models
Martin Kurečka, Roman Andriushchenko, Milan Češka, Nicola Paoletti, Petr Novotný
Subjects: Logic in Computer Science (cs.LO)
[27] arXiv:2610.25659 [pdf, other]
Title: Beyond Leaderboards: A Method for Application-Specific Capability Profiling of Large Language Models
Oleg Grynets, Vasyl Lyashkevych, Andrii Salyk, Dmytro Koziuberda, Dmytro Kostetskyi, Oleh Kaskun, Olena Pochernina, Alona Seletska, Oleksii Ilchuk, Viktoriia Tsymbal, Daryna Tukalo, Bohdan Saukh, Ivan Fedorchuk, Hryhorii Petrenko
Comments: 43 pages, 32 figures, 80 tables, 88 references
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[28] arXiv:2610.25639 [pdf, html, other]
Title: Privacy-Preserving Robust Monitoring of Dense-Time Temporal Logic
Charles Koll, Mike Rosulek, Houssam Abbas
Comments: 13 pages, 8 figures, presented at Formal Methods in Computer-Aided Design (FMCAD) 2026
Journal-ref: Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design - FMCAD 2026 (2026) 271-283
Subjects: Logic in Computer Science (cs.LO)
[29] arXiv:2610.25432 [pdf, html, other]
Title: Neutrosophic Graph Rewriting as a Computational Model
Apostolos Syropoulos, Basil Papadopoulos, Binod Kumar Sharma
Subjects: Logic in Computer Science (cs.LO)
[30] arXiv:2610.25197 [pdf, html, other]
Title: Taming Cyclic Dependencies in Stabilization-Based String Constraint Solving
Siyi Wu, Bican Xia
Subjects: Logic in Computer Science (cs.LO)
[31] arXiv:2610.24466 [pdf, html, other]
Title: The Lattice of Coalition Logics between MCL and CL: Coatoms and Compact Meets
Shanxia Wang, Yuqiang Dou
Comments: 19 pages, one table; supplementary finite-checking Python program in ancillary files
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[32] arXiv:2610.24369 [pdf, html, other]
Title: Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
Haoze Wu, André Schidler, Armin Biere, Nina Narodytska
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
[33] arXiv:2610.26599 (cross-list from cs.PL) [pdf, html, other]
Title: A Type System for Communication-Safe Hardware Design
Aditya Ranjan Jha, Jason Zhijingcheng Yu, Umang Mathur, Prateek Saxena
Comments: 69 pages, 4 figures, 2 tables. Conditionally accepted to POPL 2027
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)
[34] arXiv:2610.26187 (cross-list from cs.AI) [pdf, html, other]
Title: On Counting Graphs for Modal Logic with Counting
Avijeet Ghosh, François Schwarzentruber
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[35] arXiv:2610.25636 (cross-list from cs.CR) [pdf, html, other]
Title: Formalization of Rényi Differential Privacy in Isabelle/HOL (Draft version)
Tetsuya Sato
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[36] arXiv:2610.25357 (cross-list from math.LO) [pdf, html, other]
Title: Studying proof data with proof theory: the case of AI-generated mathematics
Safal Raman Aryal
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[37] arXiv:2610.25085 (cross-list from math.LO) [pdf, html, other]
Title: A sound pure type system with ranks as sorts and Type-in-Type
Pavel Sokolov, Alexander Kuklev
Comments: 28 pages, 3 figures, supplementary material to be found at this http URL
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[38] arXiv:2610.24690 (cross-list from cs.AI) [pdf, html, other]
Title: Verifying Human-Written Reasoning References
Ali Ansari, Farhana Ferdousi Liza
Comments: 24 pages, 1 figure, 3 tables. Preprint
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[39] arXiv:2610.24051 (cross-list from cs.AI) [pdf, html, other]
Title: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Savitha Sam Abraham, Marjan Alirezaie, Hossein Rahnama
Comments: Preprint. Under review. Savitha Sam Abraham and Marjan Alirezaie contributed equally
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

Mon, 19 Oct 2026 (showing 6 of 6 entries )

[40] arXiv:2610.23822 [pdf, html, other]
Title: A generalised and modular proof-theoretic semantics for sequent systems
Victor Barroso-Nascimento, Arghya Chakrabarty, Elaine Pimentel
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[41] arXiv:2610.23771 [pdf, html, other]
Title: LLM-Assisted Bi-Approximate CHC Solving
Baiting Jiang
Comments: 22 pages, 8 figures, 5 tables
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[42] arXiv:2610.23837 (cross-list from eess.SY) [pdf, html, other]
Title: SparseMax-dSTL: Sound Robustness with Horizon-Independent Gradient Allocation for Temporal Logic Trajectory Optimization
Sai Sandeep Damera, Ryan Matheu, John S. Baras, Calin Belta
Comments: 8 pages, 5 figures. This work has been submitted to the IEEE for possible publication
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[43] arXiv:2610.23463 (cross-list from cs.FL) [pdf, html, other]
Title: Model Checking for Noisy Toric Words
Mihir Vahanwala
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[44] arXiv:2610.23192 (cross-list from quant-ph) [pdf, html, other]
Title: Controlled PROP: Theory and Applications to Quantum Circuits
Noé Delorme, Simon Perdrix
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[45] arXiv:2610.22754 (cross-list from cs.LG) [pdf, html, other]
Title: Refusal Is Not Robustness: Measuring Harmful Reachability in Autoregressive Language Models
Parv Kapoor, Teresa Fortes, Claudia Mamede, Rui Abreu, Jonathan Aldrich, Eunsuk Kang
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Fri, 16 Oct 2026 (showing first 5 of 7 entries )

[46] arXiv:2610.21379 [pdf, html, other]
Title: Model Checking HyperRecHML is Decidable
Elli Anastasiadi, Kim Guldstrand Larsen, Martin Zimmermann
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[47] arXiv:2610.20937 [pdf, html, other]
Title: Two Variables and Two-Dimensional Structures
Bartosz Jan Bednarczyk, Daumantas Kojelis, Krzysztof Szymański
Comments: 23 pages, 4 figures, 1 table. Under submission
Subjects: Logic in Computer Science (cs.LO)
[48] arXiv:2610.20874 [pdf, html, other]
Title: Reconstruction of continuous Archimedean t-norms from their section along an increasing curve
Gabriel Bauza-Llompart, Raquel Fernandez-Peralta, Marc Munar
Subjects: Logic in Computer Science (cs.LO)
[49] arXiv:2610.20821 [pdf, html, other]
Title: Automating Observable Closure Analysis for Graph Transformation Models with MolFoundry
Marcel Friedrichs, Addie Jordon, Juri Kolčák, Daniel Merkle
Comments: 30 pages, including appendices. Software: this https URL . Interactive examples and executable notebooks: this https URL
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Molecular Networks (q-bio.MN)
[50] arXiv:2610.22287 (cross-list from cs.LG) [pdf, html, other]
Title: Learning Rational Strategies for Temporal Objectives in Multi-Agent Systems
Omar Adalat, Edwin Hamel-De le Court, Francesco Belardinelli
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
Total of 52 entries : 1-50 51-52
Showing up to 50 entries per page: fewer | more | all