AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits
cs.LG, cs.CL, quant-ph
Submitted: 2026-09-27
Updated: 2026-09-27
Terminology
Sources
- Improved Simulation of Stabilizer Circuits
- Program Synthesis with Large Language Models
- Large Language Monkeys: Scaling Inference Compute with Repeated Sampling
- Evaluating Large Language Models Trained on Code
- Aligning Quantum Operators with Large Language Models
- Stabilizer Codes and Quantum Error Correction
- Qwen2.5-Coder Technical Report
- Quantum computing with Qiskit
- Agent-Q: Fine-Tuning Large Language Models for Quantum Circuit Generation and Optimization
- Mistral 7B
- Measurement-driven entanglement transition in hybrid quantum circuits
- Quantum Circuit Generation via test-time learning with large language models
- StabilizerBench: A Benchmark for AI-Assisted Quantum Error Correction Circuit Synthesis
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
- Qwen2.5 Technical Report
- QUASAR: Quantum Assembly Code Generation Using Tool-Augmented LLMs via Agentic RL
- Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
Related papers
- Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
- AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
- Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
- Convergence issues in Relational Concept Analysis based on AOC-posets
- Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
- Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks