🤖 Program Synthesis - tiferrei · Scour

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

🤖Robotics Academic

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

🧠Apple Neural Engine Code

github.com··Hacker News

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

🩹Self-Healing Systems Academic

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

🧮Z3 Academic

Abduction Prover in Isabelle/HOL

✓Automated Theorem Proving Academic

Symbolic and Abstractive Reasoning with Complex Visual Queries

🧠Automated Reasoning Academic

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

🔤Language Design Academic

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

🧠Automated Reasoning Academic

Trustworthy Visual Predicates for Robust Manipulation Understanding under Degradation

🧮SMT Solvers Academic

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

🧩SAT Solvers Academic

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

💻CS Academic

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

🔍Formal Verification Academic

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

🔍Formal Verification Academic

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

🔍Formal Verification Academic

SPIN: Decentralized Swarm Control via Tensorized Policy Coordination

💻CS Academic

Climbing Up the Semantic Tower -- at Runtime

🔍Formal Verification Academic

Novel Aspects of IEEE SA P3109 Arithmetic Formats for Machine Learning

🔍Formal Verification Academic

The Biomimetic Architecture of Software 4.0

🔤Language Design Academic

Log in to enable infinite scrolling