{"total":65,"rows":[{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"area":"lr"},{"id":"2306.03081","title":"Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs","created":"2023-06-05","cited_by_count":80,"area":null},{"id":"2502.09622","title":"Theoretical Benefit and Limitation of Diffusion Language Model","created":"2025-02-13","cited_by_count":47,"area":"diffusion"},{"id":"2311.04235","title":"Can LLMs Follow Simple Rules?","created":"2023-11-06","cited_by_count":46,"area":null},{"id":"2504.13139","title":"Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo","created":"2025-04-17","cited_by_count":46,"area":null},{"id":"2310.00724","title":"Subtractive Mixture Models via Squaring: Representation and Learning","created":"2023-10-01","cited_by_count":39,"area":null},{"id":"2405.13055","title":"Large Language Models for Medicine: A Survey","created":"2024-05-20","cited_by_count":38,"area":null},{"id":"2401.10471","title":"DeepEdit: Knowledge Editing as Decoding with Constraints","created":"2024-01-19","cited_by_count":33,"area":"lr"},{"id":"2406.13892","title":"Adaptable Logical Control for Large Language Models","created":"2024-06-19","cited_by_count":30,"area":null},{"id":"2505.15045","title":"Diffusion vs. Autoregressive Language Models: A Text Embedding Perspective","created":"2025-05-21","cited_by_count":23,"area":null},{"id":"2312.03905","title":"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints","created":"2023-12-06","cited_by_count":22,"area":null},{"id":"2401.03349","title":"Image Inpainting via Tractable Steering of Diffusion Models","created":"2023-11-28","cited_by_count":22,"area":"diffusion"},{"id":"2409.07953","title":"What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?","created":"2024-09-12","cited_by_count":22,"area":null},{"id":"2504.05410","title":"Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling","created":"2025-04-07","cited_by_count":21,"area":null},{"id":"2405.15880","title":"HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis","created":"2024-05-24","cited_by_count":15,"area":null},{"id":"2408.00876","title":"On the Relationship Between Monotone and Squared Probabilistic Circuits","created":"2024-08-01","cited_by_count":14,"area":null},{"id":"2506.05754","title":"Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective","created":"2025-06-06","cited_by_count":14,"area":null},{"id":"2306.15774","title":"Next Steps for Human-Centered Generative AI: A Technical Perspective","created":"2023-06-27","cited_by_count":13,"area":null},{"id":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"area":"lr"},{"id":"2402.00759","title":"Building Expressive and Tractable Probabilistic Generative Models: A Review","created":"2024-02-01","cited_by_count":12,"area":null},{"id":"2410.13111","title":"Controllable Generation via Locally Constrained Resampling","created":"2024-10-17","cited_by_count":11,"area":null},{"id":"2603.00045","title":"Breaking the Factorization Barrier in Diffusion Language Models","created":"2026-02-09","cited_by_count":11,"area":"diffusion"},{"id":"2412.05481","title":"A Compositional Atlas for Algebraic Circuits","created":"2024-12-07","cited_by_count":10,"area":null},{"id":"2412.07331","title":"NeSyA: Neurosymbolic Automata","created":"2024-12-10","cited_by_count":10,"area":"lr"},{"id":"2404.00415","title":"CoDa: Constrained Generation based Data Augmentation for Low-Resource NLP","created":"2024-03-30","cited_by_count":9,"area":null},{"id":"2406.06494","title":"Scaling Continuous Latent Variable Models as Probabilistic Integral Circuits","created":"2024-06-10","cited_by_count":9,"area":null},{"id":"2506.12383","title":"Scaling Probabilistic Circuits via Monarch Matrices","created":"2025-06-14","cited_by_count":9,"area":null},{"id":"2510.03595","title":"Decoupling Task-Solving and Output Formatting in LLM Generation","created":"2025-10-04","cited_by_count":9,"area":"lr"},{"id":"2511.11346","title":"Fast and Expressive Multi-Byte Prediction with Probabilistic Circuits","created":"2025-11-14","cited_by_count":9,"area":null},{"id":"2504.18535","title":"TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation","created":"2025-04-25","cited_by_count":8,"area":"lr"},{"id":"2606.01926","title":"Mitigating Bias in Locally Constrained Decoding via Tractable Proposals","created":"2026-06-01","cited_by_count":8,"area":null},{"id":"2410.05559","title":"Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification","created":"2024-10-07","cited_by_count":7,"area":null},{"id":"2410.06716","title":"Guaranteed Generation from Large Language Models","created":"2024-10-09","cited_by_count":7,"area":null},{"id":"2411.12256","title":"Restructuring Tractable Probabilistic Circuits","created":"2024-11-19","cited_by_count":7,"area":null},{"id":"2410.04628","title":"Control Large Language Models via Divide and Conquer","created":"2024-10-06","cited_by_count":5,"area":null},{"id":"2410.06024","title":"Jet Expansions of Residual Computation","created":"2024-10-08","cited_by_count":4,"area":null},{"id":"2507.04385","title":"Tractable Representation Learning with Probabilistic Circuits","created":"2025-07-06","cited_by_count":4,"area":null},{"id":"2410.01103","title":"Approximately Aligned Decoding","created":"2024-10-01","cited_by_count":3,"area":null},{"id":"2506.09701","title":"ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search","created":"2025-06-11","cited_by_count":3,"area":null},{"id":"2508.05537","title":"Tractable Sharpness-Aware Learning of Probabilistic Circuits","created":"2025-08-07","cited_by_count":3,"area":null},{"id":"2510.01902","title":"Constrained Adaptive Rejection Sampling","created":"2025-10-02","cited_by_count":3,"area":null},{"id":"2410.02823","title":"DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracy","created":"2024-09-27","cited_by_count":2,"area":"agents"},{"id":"2411.01271","title":"Interacting Large Language Model Agents. Interpretable Models and Social Learning","created":"2024-11-02","cited_by_count":2,"area":"agents"},{"id":"2412.07883","title":"On Faster Marginalization with Squared Circuits via Orthonormalization","created":"2024-12-10","cited_by_count":2,"area":null},{"id":"2506.12020","title":"The Limits of Tractable Marginalization","created":"2025-04-17","cited_by_count":2,"area":null},{"id":"2306.11825","title":"DiNADO: Norm-Disentangled Neurally-Decomposed Oracles for Controlling Language Models","created":"2023-06-20","cited_by_count":1,"area":null},{"id":"2310.17054","title":"BOOST: Harnessing Black-Box Control to Boost Commonsense in LMs' Generation","created":"2023-10-25","cited_by_count":1,"area":null},{"id":"2312.15472","title":"Towards Consistent Language Models Using Declarative Constraints","created":"2023-12-24","cited_by_count":1,"area":null},{"id":"2502.13450","title":"Interleaved Gibbs Diffusion: Generating Discrete-Continuous Data with Implicit Constraints","created":"2025-02-19","cited_by_count":1,"area":null},{"id":"2605.02375","title":"Binary Rewards and Reinforcement Learning: Fundamental Challenges","created":"2026-05-04","cited_by_count":1,"area":"lr"},{"id":"2608.28229","title":"Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Compliance","created":"2026-08-28","cited_by_count":1,"area":null},{"id":"2503.01804","title":"$\\texttt{SEM-CTRL}$: Semantically Controlled Decoding","created":"2025-03-03","cited_by_count":0,"area":null},{"id":"2506.07578","title":"Denoising the Future: Top-p Distributions for Moving Through Time","created":"2025-06-09","cited_by_count":0,"area":null},{"id":"2509.25439","title":"Norm-Q: Effective Compression Method for Hidden Markov Models in Neuro-Symbolic Applications","created":"2025-09-29","cited_by_count":0,"area":null},{"id":"2511.16054","title":"Learning Tractable Distributions Of Language Model Continuations","created":"2025-11-20","cited_by_count":0,"area":null},{"id":"2601.20784","title":"REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence","created":"2026-01-28","cited_by_count":0,"area":"lr"},{"id":"2604.04233","title":"Precise Robot Command Understanding Using Grammar-Constrained Large Language Models","created":"2026-04-05","cited_by_count":0,"area":null},{"id":"2605.12940","title":"The Expressivity Boundary of Probabilistic Circuits: A Comparison with Large Language Models","created":"2026-05-13","cited_by_count":0,"area":"mechinterp"},{"id":"2607.20483","title":"Tractable Hierarchical Control of Autoregressive Language Models","created":"2026-06-01","cited_by_count":0,"area":null},{"id":"2608.10137","title":"The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding","created":"2026-08-10","cited_by_count":0,"area":null},{"id":"2608.12869","title":"A Compositional Theory of Curvature in Probabilistic Circuits","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2608.22149","title":"Meta-Ctrl: Guaranteed Plan Generation by Decoupling Syntactic and Semantic Constraints","created":"2026-08-23","cited_by_count":0,"area":null},{"id":"2609.35425","title":"Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.35924","title":"Grab a Coffee: Future-Aware Guidance for Discrete Diffusion with Compiled Objectives","created":"2026-09-28","cited_by_count":0,"area":"diffusion"},{"id":"2609.40185","title":"Provably Tractable NFA-Constrained Language Generation via HMMs","created":"2026-09-30","cited_by_count":0,"area":null}],"next_cursor":null}