Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-02T01:00:23.406522Z
Paper Citation Record · LEDGER
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience
As of 9 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2607.14818.
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-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
11 of 11 outbound references displayed
- verified exact1
- verified fuzzy0
- unresolved10
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d63e8c04-8ef7-464a-b827-f118c0c29e58 · outbound
This paper cites SCIP: Solving constraint integer programs.Mathematical Programming Computation, 1(1):1–41, 2009.doi:10.1007/s12532-008-0001-1.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience SCIP: Solving constraint integer programs.Mathematical Programming Computation, 1(1):1–41, 2009.doi:10.1007/s12532-008-0001-1
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.255066Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4180afd-16df-4f7d-8424-a0317e2d8806 · outbound
This paper cites PaperBench: Evaluating AI's Ability to Replicate AI Research.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience PaperBench: Evaluating AI's Ability to Replicate AI Research
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.885499Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 791b3f6a-6736-4a12-ae5e-3d1283cb9dbb · outbound
This paper cites Discovering heuristics in a complex SAT solver with large language models.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience Discovering heuristics in a complex SAT solver with large language models
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.977292Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecb2ded5-9d7d-4249-8c54-c614ef9e8a34 · outbound
This paper cites When these backend stages do not solve the instance, the remaining search is handled by the core-guided MaxSAT engine.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience When these backend stages do not solve the instance, the remaining search is handled by the core-guided MaxSAT engine
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:23.143081Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b1f7a86-1add-49ba-9822-e23a58683d13 · outbound
This paper cites an unresolved cited work.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:23.406522Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7e4005d2-052a-4c31-bcb8-ba53ccdbd4f3 · outbound
This paper cites Uncovering and classifying bugs in maxsat solvers through fuzzing and delta debugging.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience Uncovering and classifying bugs in maxsat solvers through fuzzing and delta debugging
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.548442Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15cc6769-5a69-4933-b731-70b6c788d4fb · outbound
This paper cites ResearchCodeBench: Benchmarking LLMs on Implementing Novel Machine Learning Research Code.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience ResearchCodeBench: Benchmarking LLMs on Implementing Novel Machine Learning Research Code
Reference 2009
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.372434Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7e69853-e658-47d7-844f-ada6a5dd9485 · outbound
This paper cites 6 Mikolás Janota and Mirek Olsák.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience 6 Mikolás Janota and Mirek Olsák
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.422450Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08953b47-aa2c-4f4e-bc68-03f153b8c013 · outbound
This paper cites The results should be interpreted with care because they combine runs obtained in two environments.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience The results should be interpreted with care because they combine runs obtained in two environments
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:23.265572Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8bc612a-653a-4cb3-9e61-1b763ffeea19 · outbound
This paper cites 14 Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, and Xiangfeng Wang.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience 14 Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, and Xiangfeng Wang
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.792840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91b1b9fd-0fdc-4462-ac6a-9cd7dc64c515 · outbound
This paper cites 3 Carlos Ansótegui, Maria Luisa Bonet, and Jordi Levy.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience 3 Carlos Ansótegui, Maria Luisa Bonet, and Jordi Levy
Reference 2026
- Resolution
- verified exact
- doi, observed 2026-08-02T01:04:19.652098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.