⏳ LTL - tiferrei · Scour

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

🔍Formal Verification Academic

Less-relevant results

Launch HN: Transload (YC P26) – Measuring freight items with CCTV

🤖Robotics Discussion

news.ycombinator.com··Hacker News

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🧠Automated Reasoning Code

github.com··Hacker News

DB Nerds – Try this out

🧠Automated Reasoning

kesseldb.com··Hacker News

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

💻CS Academic

The Complexity of Asynchronous HyperLTL

🧠Automated Reasoning Academic

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

🔍Formal Verification Academic

Correct-by-Construction Design of Timed Systems in Event-B

⏰Timed Automata Academic

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

🔍Formal Verification Academic

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling