Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for recent submissions

See today's new changes

Total of 32 entries : 16-32 26-32
Showing up to 25 entries per page: fewer | more | all

Thu, 31 Oct 2024 (continued, showing last 2 of 7 entries )

[16] arXiv:2410.22764 (cross-list from cs.DC) [pdf, other]
Title: An Evaluation of Massively Parallel Algorithms for DFA Minimization
Jan Martens, Anton Wijs
Comments: In Proceedings GandALF 2024, arXiv:2410.21884
Journal-ref: EPTCS 409, 2024, pp. 138-153
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[17] arXiv:2410.22494 (cross-list from math.CT) [pdf, other]
Title: On Dialectica and Differentiation, via Categories
Davide Barbarossa
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Wed, 30 Oct 2024 (showing 4 of 4 entries )

[18] arXiv:2410.22261 [pdf, other]
Title: Proto-Quipper with Reversing and Control
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)
[19] arXiv:2410.22130 (cross-list from cs.AI) [pdf, other]
Title: Solving Epistemic Logic Programs using Generate-and-Test with Propagation
Jorge Fandinno, Lute Lillo
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[20] arXiv:2410.21884 (cross-list from cs.FL) [pdf, other]
Title: Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Adrian Francalanza
Journal-ref: EPTCS 409, 2024
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[21] arXiv:2410.21609 (cross-list from math.LO) [pdf, html, other]
Title: Effective weak convergence and tightness of measures in computable Polish spaces
Diego A. Rojas
Comments: arXiv admin note: text overlap with arXiv:2111.02939, arXiv:2106.00086; fixed typos and deleted paragraph on page 13
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Tue, 29 Oct 2024 (showing 9 of 9 entries )

[22] arXiv:2410.21214 [pdf, other]
Title: Policies for Fair Exchanges of Resources
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
Subjects: Logic in Computer Science (cs.LO)
[23] arXiv:2410.21188 [pdf, html, other]
Title: Soundness Correction of Data Petri Nets
Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin
Comments: 50 pages, 24 figures, journal paper
Subjects: Logic in Computer Science (cs.LO)
[24] arXiv:2410.19940 [pdf, html, other]
Title: Cobblestone: Iterative Automation for Formal Verification
Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First
Comments: 13 pages, 10 figures
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[25] arXiv:2410.20962 (cross-list from cs.SE) [pdf, html, other]
Title: Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
Ricardo Brancas, Vasco Manquinho, Ruben Martins
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[26] arXiv:2410.20207 (cross-list from cs.LG) [pdf, other]
Title: Revisiting Differential Verification: Equivalence Verification with Confidence
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert
Comments: 47 pages (main paper has 16 pages); 8 figures
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[27] arXiv:2410.20168 (cross-list from cs.LG) [pdf, html, other]
Title: Infectious Disease Forecasting in India using LLM's and Deep Learning
Chaitya Shah, Kashish Gandhi, Javal Shah, Kreena Shah, Nilesh Patil, Kiran Bhowmick
Comments: 16 pages, 4 figures
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[28] arXiv:2410.19738 (cross-list from cs.AI) [pdf, html, other]
Title: Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
Anil Nerode, Yanhong A. Liu
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[29] arXiv:2410.19736 (cross-list from cs.SE) [pdf, html, other]
Title: Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[30] arXiv:2410.19605 (cross-list from cs.SE) [pdf, html, other]
Title: CoqPilot, a plugin for LLM-based generation of proofs
Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev
Comments: Published in the proceedings of the ASE'24 Tool Demonstrations Track
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 28 Oct 2024 (showing 1 of 2 entries )

[31] arXiv:2410.19520 (cross-list from math.CT) [pdf, html, other]
Title: Synthetic 1-Categories in Directed Type Theory
Thorsten Altenkirch, Jacob Neumann
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
Total of 32 entries : 16-32 26-32
Showing up to 25 entries per page: fewer | more | all