We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions, skipping first 20

[ total of 16 entries: 1-10 | 7-16 ]
[ showing 10 entries per page: fewer | more | all ]

Mon, 15 Apr 2024 (continued, showing last 1 of 2 entries)

[7]  arXiv:2404.08308 [pdf, ps, other]
Title: Composing Codensity Bisimulations
Authors: Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

Fri, 12 Apr 2024

[8]  arXiv:2404.07854 [pdf, other]
Title: Reflexive graph lenses in univalent foundations
Authors: Jonathan Sterling
Comments: 52 pages
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[9]  arXiv:2404.07382 (cross-list from cs.AI) [pdf, other]
Title: Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
Authors: Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang
Comments: Submitted to ACL on Feb.15th 2024
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 10 Apr 2024

[10]  arXiv:2404.06361 [pdf, other]
Title: Meaningfulness and Genericity in a Subsuming Framework
Authors: Delia Kesner, Victor Arrial, Giulio Guerrieri
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[11]  arXiv:2404.06233 [pdf, other]
Title: A Semantic Proof of Generalised Cut Elimination for Deep Inference
Authors: Robert Atkey, Wen Kokke
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2404.06131 [pdf, other]
Title: Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Authors: Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2404.05951 [pdf, other]
Title: Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis
Authors: Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2404.06477 (cross-list from cs.PL) [pdf, other]
Title: Mechanised Hypersafety Proofs about Structured Data: Extended Version
Authors: Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, Ilya Sergey
Comments: Extended version of the paper accepted at PLDI'24
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[15]  arXiv:2404.06192 (cross-list from math.CT) [pdf, other]
Title: Monoidal Context Theory
Authors: Mario Román
Comments: PhD Thesis. Supervisor: Pawel Sobocinski. Tallinn University of Technology. Figures numerated within chapters
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[16]  arXiv:2404.05934 (cross-list from quant-ph) [pdf, ps, other]
Title: Verification of Recursively Defined Quantum Circuits
Authors: Mingsheng Ying, Zhicheng Zhang
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 16 entries: 1-10 | 7-16 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2404, contact, help  (Access key information)