Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-18T20:28:26.767266Z
Paper Citation Record · LEDGER
RefineStat: Efficient Exploration for Probabilistic Program Synthesis
As of 4 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 1 inbound Pith citation observation for arXiv:2509.01082.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T07:07:41.153208Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
56 of 56 outbound references displayed
- verified exact21
- verified fuzzy28
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch6
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 9c7b9983-cc71-4111-81be-a6acd0e0c00d · outbound
This paper cites Semantic Probabilistic Control of Language Models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Semantic Probabilistic Control of Language Models
Reference 1
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.526080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b29a63d0-46d2-47f7-9842-9b66fd20bd79 · outbound
This paper cites CRANE: Reasoning with constrained LLM generation.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis CRANE: Reasoning with constrained LLM generation
Reference 2
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T20:31:50.515984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 397ef175-f5b7-4df8-91f5-2aa4f9f05b97 · outbound
This paper cites A Conceptual Introduction to Hamiltonian Monte Carlo.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis A Conceptual Introduction to Hamiltonian Monte Carlo
Reference 3
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.520908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9892929b-ad99-4945-9115-4dc2b77b5e09 · outbound
This paper cites Pyro: Deep universal probabilistic programming.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Pyro: Deep universal probabilistic programming
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.698845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 156bd34c-d97f-4971-8ad5-b4f3d695369f · outbound
This paper cites Automated reverse engineering of nonlinear dynamical systems.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Automated reverse engineering of nonlinear dynamical systems
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.696083Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 48748d5f-21b2-4a95-8d9a-9cfce81fbb44 · outbound
This paper cites Journal of Statistical Software , author =.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Journal of Statistical Software , author =
Reference 6
- Resolution
- metadata mismatch
- doi, observed 2026-05-18T20:31:50.029102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e00c61e8-6a71-4df3-bd72-9790d47a065e · outbound
This paper cites Stan: A probabilistic programming language.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Stan: A probabilistic programming language
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.693175Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 5c284476-5631-49af-98e5-6ba3b14c1c38 · outbound
This paper cites A general-purpose algorithm for constrained sequential inference.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis A general-purpose algorithm for constrained sequential inference
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.690296Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 96fa94b6-4991-4154-b0a4-98e8780a8a3b · outbound
This paper cites XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
Reference 9
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T20:31:50.545543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1d4bb7ae-3dfd-4b11-a778-48c8af5e780e · outbound
This paper cites Structure discovery in nonparametric regression through compositional kernel search.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Structure discovery in nonparametric regression through compositional kernel search
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.687218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation dd26a228-e1bf-44b1-8096-3aaee2453435 · outbound
This paper cites Unsupervised learning by program synthesis.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Unsupervised learning by program synthesis
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.776017Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 901b6a65-8c84-4311-a889-4951203761ff · outbound
This paper cites UTF -8 plumbing: Byte-level tokenizers unavoidably enable LLM s to generate ill-formed UTF -8.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis UTF -8 plumbing: Byte-level tokenizers unavoidably enable LLM s to generate ill-formed UTF -8
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.768223Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fa55c6c5-87f5-40b9-932d-e379006355b3 · outbound
This paper cites Bayesian data analysis.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Bayesian data analysis
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.764952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8f799081-9ee8-428a-89f9-f1bc1b46fe36 · outbound
This paper cites Bayesian Workflow.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Bayesian Workflow
Reference 14
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.614510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 01d5d4ee-7851-4444-b21d-19caa40a0957 · outbound
This paper cites Learning the structure of sum-product networks.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Learning the structure of sum-product networks
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.761685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 127d8b9c-94c5-4bc4-b9ce-d4ab186b8a10 · outbound
This paper cites Search-based synthesis of probabilistic models for quality-of-service software engineering.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Search-based synthesis of probabilistic models for quality-of-service software engineering
Reference 16
- Resolution
- verified exact
- doi, observed 2026-05-18T20:31:50.052514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c4efdfa7-3603-4736-aa54-57dab07a9200 · outbound
This paper cites Learning efficient markov networks.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Learning efficient markov networks
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.757686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ac0f751f-8cf2-43d8-b69b-8d8a8847db02 · outbound
This paper cites Gordon, Thomas A.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Gordon, Thomas A
Reference 18
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.065876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 633f308a-4f46-4e00-92a1-2adc6d12d4f7 · outbound
This paper cites Self-Steering Language Models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Self-Steering Language Models
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.569974Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e113b1c3-84d3-464b-a460-104af480876f · outbound
This paper cites The Llama 3 Herd of Models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis The Llama 3 Herd of Models
Reference 20
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.607708Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 145934a0-85c8-4e0e-b59f-8c33e573c528 · outbound
This paper cites Grosse, Ruslan Salakhutdinov, William T.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Grosse, Ruslan Salakhutdinov, William T
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.753937Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f69a7d95-6222-4206-af47-c17d8a4c9b58 · outbound
This paper cites Model selection in compositional spaces.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Model selection in compositional spaces
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.750864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f61efe36-0e6f-4b6e-a01f-a2b2deb0293e · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 23
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.549522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f544aac1-2ff6-4e28-8c6c-47cc7bf70d08 · outbound
This paper cites The no-u-turn sampler: adaptively setting path lengths in hamiltonian monte carlo.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis The no-u-turn sampler: adaptively setting path lengths in hamiltonian monte carlo
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.746848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 840fa26c-2694-48c2-900d-40d0fe227912 · outbound
This paper cites Qwen2.5-Coder Technical Report.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Qwen2.5-Coder Technical Report
Reference 25
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.530698Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c3b0df92-e7d1-453f-b04d-a7cbcce83fee · outbound
This paper cites Automata-based constraints for language model decoding.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Automata-based constraints for language model decoding
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.743142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 88f01669-f40b-40ee-a76c-048adb9f5c9c · outbound
This paper cites Validating large language models with RELM.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Validating large language models with RELM
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.739160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 983ffecb-00f5-4103-83a6-14a34f2e4b27 · outbound
This paper cites Automated Statistical Model Discovery with Language Models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Automated Statistical Model Discovery with Language Models
Reference 28
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.564823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2c629ae3-afe9-44a8-ab8a-472462803260 · outbound
This paper cites Automated model discovery for human brain using constitutive artificial neural networks.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Automated model discovery for human brain using constitutive artificial neural networks
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.735840Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 113e9985-9d90-4bf0-91eb-4bd87e5e5631 · outbound
This paper cites Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
Reference 30
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T20:31:50.554434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 13ed3f45-279d-4061-b36a-63cc71341110 · outbound
This paper cites Learning Arithmetic Circuits.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Learning Arithmetic Circuits
Reference 31
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.602744Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c99af2e6-2b8f-4360-9634-88e1c896f8b1 · outbound
This paper cites Bayesian population analysis using WinBUGS.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Bayesian population analysis using WinBUGS
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.732253Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fb99b199-1bc4-499c-904d-7ef1602f7a78 · outbound
This paper cites posteriordb: Testing, Benchmarking and Developing Bayesian Inference Algorithms.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis posteriordb: Testing, Benchmarking and Developing Bayesian Inference Algorithms
Reference 33
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T20:31:50.593378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9fc45498-d9aa-4b8d-9593-66123a29f00b · outbound
This paper cites an unresolved cited work.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-05-18T20:31:51.728549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9b532d52-a9a7-4c99-8f5a-324befd3079d · outbound
This paper cites Hybrid grammar-based approach to nonlinear dynamical system identification from biological time series.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Hybrid grammar-based approach to nonlinear dynamical system identification from biological time series
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.722635Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 709c72b6-e219-4b79-9b26-466bb6714d23 · outbound
This paper cites Mcmc using hamiltonian dynamics.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Mcmc using hamiltonian dynamics
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.719852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 07449cb8-4b2c-427c-86ff-bf55ac31af43 · outbound
This paper cites Nori, Sherjil Ozair, Sriram K.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Nori, Sherjil Ozair, Sriram K
Reference 37
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.042121Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e50bd979-ddd0-43ee-aa32-79a4c07c4aed · outbound
This paper cites Pytorch: An imperative style, high-performance deep learning library.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Pytorch: An imperative style, high-performance deep learning library
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.717008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f5bce92d-b75e-4011-912b-383fd549581e · outbound
This paper cites Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro
Reference 39
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.583972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d006981f-d1ed-41c7-9f2b-709dc8b97795 · outbound
This paper cites Synchromesh: Reliable code generation from pre-trained language models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Synchromesh: Reliable code generation from pre-trained language models
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.714226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 132ab93b-5d5e-467f-ba7c-3d8b4e420d21 · outbound
This paper cites Estimation in parallel randomized experiments.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Estimation in parallel randomized experiments
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.711818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4d48aaa0-a5ec-48f7-b60b-6f23a516706f · outbound
This paper cites Saad, Marco F.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Saad, Marco F
Reference 42
- Resolution
- verified exact
- doi, observed 2026-05-18T20:31:50.059045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f39f3459-fd82-4aa8-a82e-51cb0147df0e · outbound
This paper cites V., & Fonnesbeck, C.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis V., & Fonnesbeck, C
Reference 43
- Resolution
- verified exact
- doi, observed 2026-05-18T20:31:50.022823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 23c5c793-95f8-422d-a75d-801246d411b9 · outbound
This paper cites Distilling free-form natural laws from experimental data.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Distilling free-form natural laws from experimental data
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.708881Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d21b7d98-0f9f-41f8-86f4-9049dd07c6d9 · outbound
This paper cites DINGO: Constrained Inference for Diffusion LLMs.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis DINGO: Constrained Inference for Diffusion LLMs
Reference 45
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.598078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1d1440f6-541b-4109-a59c-1077bd1ef6cb · outbound
This paper cites CodeGemma: Open Code Models Based on Gemma.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis CodeGemma: Open Code Models Based on Gemma
Reference 46
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.559782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a5f4ca6f-0b0e-423a-9e58-e60fe4d21b11 · outbound
This paper cites IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
Reference 47
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.579667Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 69201c0d-0172-405e-9081-733731a0a75e · outbound
This paper cites SynCode: LLM Generation with Grammar Augmentation.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis SynCode: LLM Generation with Grammar Augmentation
Reference 49
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-18T20:31:50.575145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 720535b4-4edf-4280-88c1-c229a0973046 · outbound
This paper cites IterGen : Iterative structured LLM generation.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis IterGen : Iterative structured LLM generation
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.725639Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d9904c39-99b5-44d6-ade7-00c1c59c035c · outbound
This paper cites Examples volume 1, a.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Examples volume 1, a
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.680416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a319b008-58a5-4964-a735-b3e17376c52b · outbound
This paper cites Examples volume 2, b.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Examples volume 2, b
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.684047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 77eae328-f183-49cc-ad72-799aa382470d · outbound
This paper cites An Introduction to Probabilistic Programming.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis An Introduction to Probabilistic Programming
Reference 53
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T20:31:50.535525Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 135fd82f-800f-4c88-b2f5-8315b512d650 · outbound
This paper cites Practical bayesian model evaluation using leave-one-out cross-validation and waic.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Practical bayesian model evaluation using leave-one-out cross-validation and waic
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.705224Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 90d80ba6-4dc8-4314-8e0f-0c1a5b4857e1 · outbound
This paper cites Rank-normalization, folding, and localization: An improved R for assessing convergence of mcmc (with discussion).
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Rank-normalization, folding, and localization: An improved R for assessing convergence of mcmc (with discussion)
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T20:31:51.701844Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fcab3d21-9d92-4541-a4b8-23d96da255e3 · outbound
This paper cites Efficient Guided Generation for Large Language Models.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Efficient Guided Generation for Large Language Models
Reference 56
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.588497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a29ae7e6-a87f-4ea6-b79b-79e11b3f592b · outbound
This paper cites Counterexample-Driven Synthesis for Probabilistic Program Sketches.
RefineStat: Efficient Exploration for Probabilistic Program Synthesis Counterexample-Driven Synthesis for Probabilistic Program Sketches
Reference 57
- Resolution
- verified exact
- local_arxiv, observed 2026-05-18T20:31:50.540592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
Observation 92830c2a-450a-49ec-b2ee-d91497c9c78c · inbound
Imprompt: A Language Framework for Prompt Programming cites this paper.
Imprompt: A Language Framework for Prompt Programming RefineStat: Efficient Exploration for Probabilistic Program Synthesis
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T07:07:41.153208Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.