Pith. sign in

Paper Citation Record · LEDGER

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2112.15594.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2112.15594 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-09T05:12:15.659541Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-19T11:27:16.146578Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 82a4b0d6-52c3-4c5d-a183-ef8d2190bfc7 · inbound

A Survey of Large Language Models cites this paper.

A Survey of Large Language Models A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Reference 128

Resolution
verified exact
arxiv_id, observed 2026-05-10T22:46:40.418978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-05-10T22:46:39.268353Z digest=sha256:916910ec27b1ed0f476980c0aeddef6f45ffe0d4f42c8339dd5f4c4d8b591260

Observation 562f1fe8-73a2-4a77-9c35-3d5a6465b9e3 · inbound

PaLM 2 Technical Report cites this paper.

PaLM 2 Technical Report A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Reference 276

Resolution
metadata mismatch
arxiv_id, observed 2026-05-12T11:59:27.302389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-05-12T11:59:25.813128Z digest=sha256:12dbcc86459bae0587c958e8ec4c56ecd50dc4b489fbc2f5c0d48bad65b1af35

Observation 3be9ec92-8048-47ec-af95-4d8b2f92b82f · inbound

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques cites this paper.

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-09T05:12:15.659541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-09T05:12:15.659541Z digest=sha256:9435121bab964dfc8ace360129b4e421c1eebdce30f1ae96f02d3e62cf12322f

Observation 3032a1de-c2c1-4870-bf56-425d5dab653a · inbound

ORFS-agent: Tool-Using Agents for Chip Design Optimization cites this paper.

ORFS-agent: Tool-Using Agents for Chip Design Optimization A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Reference 12

Resolution
verified exact
arxiv_id, observed 2026-05-19T11:27:16.150055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-05-19T11:23:29.010807Z digest=sha256:5201b6ec0a9e74eded7da6a2e227d7a7ffb3ac7b1db72cbbe1635921758f2852

Observation dfdbec41-499b-4b04-a9b7-287e6eddbff0 · inbound

Measuring Representation Robustness in Large Language Models for Geometry cites this paper.

Measuring Representation Robustness in Large Language Models for Geometry A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

Reference 9

Resolution
verified exact
arxiv_id, observed 2026-05-13T19:38:10.523721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-05-13T19:35:32.531660Z digest=sha256:56ac5f8573a691e9548223ceeabf3cd7a3f826c3fbb5841ab03d1f32c447001c