Cover Image

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Agarwal, Shubham, Krentsel, Alexander, Liu, Shu, Cemri, Mert, Cheng, Audrey, Meng, Rui, Pfister, Tomas, Li, Chun-Liang, Ratnasamy, Sylvia, Parameswaran, Aditya, Zaharia, Matei, Stoica, Ion, Lesani, Mohsen
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Distributed, Parallel, and Cluster Computing Logic in Computer Science Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Time is Here for Just-in-Time Systems: Challenges and Opportunities
by: Liu, Shu, et al.
Published: (2026)

AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization
by: Cemri, Mert, et al.
Published: (2026)

Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving
by: Krentsel, Alexander, et al.
Published: (2024)

EvoX: Meta-Evolution for Automated Discovery
by: Liu, Shu, et al.
Published: (2026)

The Price Reversal Phenomenon: When Cheaper Reasoning Models Cost More
by: Chen, Lingjiao, et al.
Published: (2026)

DeepScholar-Bench: A Live Benchmark and Automated Evaluation for Generative Research Synthesis
by: Patel, Liana, et al.
Published: (2025)

TURBO: Utility-Aware Bandwidth Allocation for Cloud-Augmented Autonomous Control
by: Schafhalter, Peter, et al.
Published: (2025)

Reconfigurable Heterogeneous Quorum Systems
by: Li, Xiao, et al.
Published: (2023)

Barbarians at the Gate: How AI is Upending Systems Research
by: Cheng, Audrey, et al.
Published: (2025)

RAFT: Adapting Language Model to Domain Specific RAG
by: Zhang, Tianjun, et al.
Published: (2024)

Are More LLM Calls All You Need? Towards Scaling Laws of Compound Inference Systems
by: Chen, Lingjiao, et al.
Published: (2024)

Optimizing Model Selection for Compound AI Systems
by: Chen, Lingjiao, et al.
Published: (2025)

Let the Barbarians In: How AI Can Accelerate Systems Performance Research
by: Cheng, Audrey, et al.
Published: (2025)

$\texttt{SPECS}$: Faster Test-Time Scaling through Speculative Drafts
by: Cemri, Mert, et al.
Published: (2025)

vCache: Verified Semantic Prompt Caching
by: Schroeder, Luis Gaspar, et al.
Published: (2025)

MoE-Lightning: High-Throughput MoE Inference on Memory-constrained GPUs
by: Cao, Shiyi, et al.
Published: (2024)

vAttention: Verified Sparse Attention
by: Desai, Aditya, et al.
Published: (2025)

Why Do Multi-Agent LLM Systems Fail?
by: Cemri, Mert, et al.
Published: (2025)

Delta Fair Sharing: Performance Isolation for Multi-Tenant Storage Systems
by: Griggs, Tyler, et al.
Published: (2026)

BARE: Leveraging Base Language Models for Few-Shot Synthetic Data Generation
by: Zhu, Alan, et al.
Published: (2025)

HashAttention: Semantic Sparsity for Faster Inference
by: Desai, Aditya, et al.
Published: (2024)

SIEVE: Sample-Efficient Parametric Learning from Natural Language
by: Asawa, Parth, et al.
Published: (2026)

Hamava: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous Clusters
by: Mane, Tejas, et al.
Published: (2024)

The Role of Deductive and Inductive Reasoning in Large Language Models
by: Cai, Chengkun, et al.
Published: (2024)

Inductive-Deductive Strategy Reuse for Multi-Turn Instructional Dialogues
by: Ou, Jiao, et al.
Published: (2024)

Can QPP Choose the Right Query Variant? Evaluating Query Variant Selection for RAG Pipelines
by: Arabzadeh, Negar, et al.
Published: (2026)

Logical Relations for Formally Verified Authenticated Data Structures
by: Gregersen, Simon Oddershede, et al.
Published: (2025)

Artifact: I have no idea how to make it safer: Studying Security and Privacy Mindsets of Browser Extension Developers
by: Agarwal, Shubham
Published: (2025)

BenchEvolver: Frontier Task Synthesis via Solution-Centric Evolution
by: Wu, Yangzhen, et al.
Published: (2026)

Enhancing Multimodal In-Context Learning via Inductive-Deductive Reasoning
by: Wang, Haoyu, et al.
Published: (2026)

RAG over Thinking Traces Can Improve Reasoning Tasks
by: Arabzadeh, Negar, et al.
Published: (2026)

AI-Driven Research for Databases
by: Cheng, Audrey, et al.
Published: (2026)

LogiDynamics: Unraveling the Dynamics of Inductive, Abductive and Deductive Logical Inferences in LLM Reasoning
by: Zheng, Tianshi, et al.
Published: (2025)

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents
by: Jain, Naman, et al.
Published: (2025)

SafarDB: FPGA-Accelerated Distributed Transactions via Replicated Data Types
by: Saberlatibari, Javad, et al.
Published: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First
by: Liu, Shu, et al.
Published: (2025)

Specifications: The missing link to making the development of LLM systems an engineering discipline
by: Stoica, Ion, et al.
Published: (2024)

ARES: An Automated Evaluation Framework for Retrieval-Augmented Generation Systems
by: Saad-Falcon, Jon, et al.
Published: (2023)