Program Synthesis

Feeds to Scour
SubscribedAll
Scoured 23 posts in 22.7 ms

Subversion-Resistance for Free from Formal Verification

 🌐NetworkProtocols
lesswrong.com·

BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction

 🧠Automated Reasoning  Content type: Academic
arxiv.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

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

A New Post Quantum Cryptography Standard (Verification, etc. Included)

 ➡️Category Theory
zenodo.org··Hacker News

Property-based testing | Liam DeVoe

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

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

 ⚙️Compiler Design  Content type: Code
github.com··Hacker News

Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints

 🤖Robotics  Content type: Academic
arxiv.org·

sparckix/ztare: Zero-Trust Adversarial Reasoning Engine - autoresearch inspired kernel to create and validate new science.

 🧠Apple Neural Engine  Content type: Code
github.com··Hacker News

Agentic Neuro-Symbolic Planning and Commissioning for Human-in-the-Loop Industrial Robotics with Digital Twins

 🩹Self-Healing Systems  Content type: Academic
arxiv.org·

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

 🧮Z3  Content type: Academic
arxiv.org·

Abduction Prover in Isabelle/HOL

 ✓Automated Theorem Proving  Content type: Academic
arxiv.org·

Symbolic and Abstractive Reasoning with Complex Visual Queries

 🧠Automated Reasoning  Content type: Academic
arxiv.org·

Trustworthy Visual Predicates for Robust Manipulation Understanding under Degradation

 🧮SMT Solvers  Content type: Academic
arxiv.org·

Simulate, Reason, Decide: Scientific Reasoning with LLMs for Simulation-Driven Decision Making

 🧠Automated Reasoning  Content type: Academic
arxiv.org·

HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

 🔤Language Design  Content type: Academic
arxiv.org·

Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket

 🧩SAT Solvers  Content type: Academic
arxiv.org·

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

 💻CS  Content type: Academic
arxiv.org·

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

 🔍Formal Verification  Content type: Academic
arxiv.org·

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

 🔍Formal Verification  Content type: Academic
arxiv.org·

Traxia: A Framework for Verifiable, Agent-Native Scientific Publishing

 🔍Formal Verification  Content type: Academic
arxiv.org·

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