0xekez/fslatp

Medley, Zeke; Manolios, Panagiotis

doi:10.4230/artifacts.27134

Artifact

0xekez/fslatp Software

Authors Zeke Medley, Panagiotis Manolios

Part of: Collection: Supplementary Materials
License: BSD 3-Clause "New" or "Revised" License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.27134
URN: urn:nbn:de:0030-drops-271344

Author Details

Zeke Medley

Khoury College of Computer Sciences, Northeastern University, Boston, MA, USA

Panagiotis Manolios

Khoury College of Computer Sciences, Northeastern University, Boston, MA, USA

Content

Software (Source Code): https://github.com/0xekez/fslatp
archived version

Version/Status

Content created at: 2026-01-18

Cite As Get BibTex

Zeke Medley, Panagiotis Manolios. 0xekez/fslatp (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27134

Description

Code for the paper Feedback and Synthesis in LLM-Assisted Termination Proofs

Subject Classification

Programming Languages

Python
Common Lisp
Shell

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail