Automated Reasoning

Feeds to Scour
SubscribedAll
Scoured 16 posts in 18.4 ms

A Proof in Coq that Core Logic is not Paraconsistent

 ⚙Operational Semantics  Content type: Academic
arxiv.org·

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

 🔍CBMC  Content type: Code
github.com··Hacker News

Introducing Soteria: A New Generation of Static Analysis for Rust

 🔬Static Analysis  Content type: Blog
soteria-tools.com··Hacker News

DB Nerds – Try this out

 🌐NetworkProtocols
kesseldb.com··Hacker News

Property-based testing | Liam DeVoe

 🧪Property-Based Testing
tybug.dev··Hacker News

Introducing Jo — Secure Programming for the AI Era

 🌐Open Source  Content type: Blog
jo-lang.org··Hacker News

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

 🧮Z3  Content type: Academic
arxiv.org·

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

 🔌APIs  Content type: Code
github.com··Hacker News, r/LLM

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

 🔍Formal Verification  Content type: Academic
arxiv.org·

The Complexity of Asynchronous HyperLTL

 ⏳LTL  Content type: Academic
arxiv.org·

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

 💻CS  Content type: Code
github.com··Hacker News

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

 🔍Formal Verification  Content type: Academic
arxiv.org·

mattdeeds/pico-10base-t-rs: Bit-banged 10BASE-T Ethernet + Wi-Fi router in Rust on the Raspberry Pi Pico 2 W

 🏠HomeLab  Content type: Code
github.com··Hacker News

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

 ⏰Timed Automata  Content type: Academic
arxiv.org·

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

 ⚙Operational Semantics  Content type: Academic
arxiv.org·

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

 🔍Formal Verification  Content type: Academic
arxiv.org·

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help