{"as_of":"2026-08-12T20:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5e1c7d86d02c71e71b31efa84817c6f90ec1649e8b7c2d83096cfd094e8cc682","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T19:24:36.838056Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T04:35:53.975397Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T17:08:43.374528Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"cited_work":{"arxiv_id":"2412.16177","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.16177","snapshot_observed_at":"2026-07-03T17:08:43.374528Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","venue":null,"work_id":"7908223e-0b38-48e8-8bff-cc97f57e0133","year":2024},"citing_paper":{"arxiv_id":"2606.14804","last_updated":"2026-06-22T21:41:00Z","snapshot_observed_at":"2026-08-08T13:30:40.718601Z","submitted_at":"2026-06-11T21:23:56Z","title":"Mapping Mathematical Hardness: Machine-Assisted Conjecture Discovery and the Quantification of Non-Triviality","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T04:35:53.975397Z"},"links":{"cited_paper":"/paper/2412.16177","citing_paper":"/paper/2606.14804"},"observation_digest":"sha256:b2d98cb7ad49577fe19c0865f3e63f2365cfff381e487348de08cfcbbcc323a6","observation_id":"209f48cd-2d2c-45ab-99d6-91298c5d36e9","resolution":{"observed_at":"2026-07-03T17:08:43.375958Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.16177/citation-record","integrity":"/paper/2412.16177/integrity","json":"/paper/2412.16177/citation-record.json","paper":"/paper/2412.16177"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.689899Z","title":"GPT-4 Technical Report,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.689899Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:36fdd2e195b4dc5d278c4489a91efe91ec5718239f0b7e73bf777b96527f6ddf","observation_id":"22e15fa1-27dc-432c-a23f-b3a927268bac","resolution":{"observed_at":"2026-08-11T19:24:36.689899Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.327689Z","title":"Claude AI","venue":null,"work_id":"a20e4869-e5cc-4d19-acd1-bdff92e63f44","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.694963Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:9ab839820c60fb73ff02d1364d9f99823cb3a175c4bd1da88198370f6cd2e2b0","observation_id":"2e79549c-e0af-4af7-928e-2b9a05fa9bce","resolution":{"observed_at":"2026-08-11T19:24:37.331754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.314420Z","title":"Gemini: A family of highly capable multimodal models,","venue":null,"work_id":"e3a06c01-90cb-482d-94d8-d99a82ddefb3","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.699657Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:bff0d6110a416d8e25cdc1dca21ffccf2a44c5e42879a2cbb8d02a02bb8d1a1b","observation_id":"55c1034a-933d-4a54-8367-fc0969ce984e","resolution":{"observed_at":"2026-08-11T19:24:37.318643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.300596Z","title":"Would ChatGPT3 Get a Wharton MBA? A Prediction Based on Its Performance in the Operations Management Course,","venue":null,"work_id":"05859581-0720-4054-8653-3c5d65a766ad","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.704105Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:13784104848fe22eed5891b3c7bad45fd12e095244b91387074c980f60ecbd6d","observation_id":"909a6b9e-7561-42ed-906b-9d228938108b","resolution":{"observed_at":"2026-08-11T19:24:37.304825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.285977Z","title":"Mathematical discoveries from program search with large language models,","venue":null,"work_id":"47a44a8a-6426-4ef9-82b6-e7f7a9ea51d4","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.708822Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:d9bf472d7da379a48e13eeb5497d3dc82b8b68a059d9dd70077d2f6444ea8139","observation_id":"2ef73ccf-4e1d-4072-bdad-377bed65bd32","resolution":{"observed_at":"2026-08-11T19:24:37.290764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.271938Z","title":"Exploring mathematical conjecturing with large language models,","venue":null,"work_id":"cb9a42e6-bc0c-459d-979d-56095fb8932d","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.713544Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:1e4c2cebce65367c9eb09637052fa16dfb47b5bc513485669631d57f92b74330","observation_id":"38efec07-eb00-43b3-9654-4aecc2124562","resolution":{"observed_at":"2026-08-11T19:24:37.276526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.257938Z","title":"Advancing mathematics by guiding human intuition with AI,","venue":null,"work_id":"e364c777-8505-4db1-8f58-15d87496660c","year":2021},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.718813Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:501f0a7a2115897adc134e773200d566b6150fa976a6962314e2e7499db97561","observation_id":"af85bccc-5735-4fbe-b2e6-88862459e8df","resolution":{"observed_at":"2026-08-11T19:24:37.262344Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-10T17:57:52.655028Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-11T19:24:36.723359Z","title":"Autoformalization with large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.723359Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:2ad9a3eebd22035a4b5aaec2fb448a0e047c8d44a0391cdeb96478df91b1ab1f","observation_id":"9dc1d495-84da-4d71-95f2-06798412711c","resolution":{"observed_at":"2026-08-11T19:24:36.723359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.244287Z","title":"Can LLMs generate novel research ideas? A large-scale human study with 100+ NLP researchers,","venue":null,"work_id":"6938bf84-bc79-4e83-8568-b766ea4872f8","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.728117Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:cee9d2d3a23a409b50a5395b01bb831aa2f0bb3bdf1a6a223c19b25f288c842e","observation_id":"150430bd-e6e9-4278-9f71-db1f1891081c","resolution":{"observed_at":"2026-08-11T19:24:37.248992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.229246Z","title":"More on the non-solvable graphs and solvabilizers,","venue":null,"work_id":"9786cf78-e827-4bc6-9289-01b786d57346","year":2018},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.732471Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:55865203504a1aac363d32817905ff582d2f5a86c0c851f0f72a36a500801860","observation_id":"40167db2-5896-49c0-977d-b68b0cb6ebd6","resolution":{"observed_at":"2026-08-11T19:24:37.234698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.215064Z","title":"The solubility graph associated with a finite group,","venue":null,"work_id":"4cef2b0e-0f08-4409-9ab9-527e0a312cff","year":2020},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.736657Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:edec5890e496c4c089b6f3282a28adc7499342fcbfc59292c74a9a94971a467d","observation_id":"36f598e7-48f4-4ec1-97c7-3f3d1dd192c0","resolution":{"observed_at":"2026-08-11T19:24:37.219683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.200500Z","title":"On the solubilizer of an element in a finite group,","venue":null,"work_id":"38ae3796-80d0-4fb4-a500-08728eb35ec4","year":2022},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.744778Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:907b75e219a547e0ae7adae2b78770dbb6cbb5e6861bdb0bbf8e42f03cc84d95","observation_id":"b5b8696e-3080-4d33-90d0-d19f38b08c8b","resolution":{"observed_at":"2026-08-11T19:24:37.205295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.186798Z","title":"Characterization of solubilizers of elements in minimal simple groups,","venue":null,"work_id":"d561d5ac-2f83-4cde-b130-99a69610c405","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.751387Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:c705230ac6164517d9686d3258215af67e993ce5c153dc1dc1a0cdb1a41c1aea","observation_id":"d57e7a79-7418-498d-8f27-b03e1b6f7837","resolution":{"observed_at":"2026-08-11T19:24:37.190847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.173762Z","title":"Non-solvable graph of a finite group and solvabilizers,","venue":null,"work_id":"00e8111c-1931-472c-aad2-195c7566ec45","year":2013},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.755677Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:0d3c71ad688f99b0173fe4e2b92996e5a7bedae3e9e5910c283f04f616229832","observation_id":"6e8d320f-4520-4fc4-bc3b-bea331131013","resolution":{"observed_at":"2026-08-11T19:24:37.177723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.161006Z","title":"Solubilizers in profinite groups,","venue":null,"work_id":"25728f66-5154-4f9d-b913-3b0fd533c432","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.759974Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:e38768aaf0752183ace7add9ead4aa0a80b608ab7ec1f511252455bdf981183e","observation_id":"8557d211-0c76-4f10-9e8d-041059fdd38f","resolution":{"observed_at":"2026-08-11T19:24:37.164881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.147638Z","title":"The impact of the solubilizer of an element on the structure of a finite group,","venue":null,"work_id":"cf54885e-115c-413b-9bd9-1163cc98e06f","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.764036Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:69506cf2e0dc24629ee2c399f98fce91bf041dd5b0c667ab035ed124e4eb75c0","observation_id":"59de24cd-6abb-4bf7-b81f-90adc9f54087","resolution":{"observed_at":"2026-08-11T19:24:37.152059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.132914Z","title":"Is Temperature the Creativity Parameter of Large Language Models?,","venue":null,"work_id":"501d5e3a-469d-4bdc-8531-9be95c844e95","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.768259Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:0c55210aee5ce45359c2f88758ac95eb063911fc1660e7f6274e9731542ab601","observation_id":"fc70f236-0140-4f6f-b631-23ffcfa27235","resolution":{"observed_at":"2026-08-11T19:24:37.137774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.118186Z","title":"SageMath, the Sage Mathematics Software System (Version 10.0),","venue":null,"work_id":"824ecdf2-e34b-40d1-9c0a-a1fa8e8f454a","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.772402Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:ff6aa8587dd0e9113c96c97ed6eccc3cf95c93cdf9a0ea1c64b2da681e1fa816","observation_id":"66ad39f9-bbe5-4fef-9d81-0d346ec2fcb2","resolution":{"observed_at":"2026-08-11T19:24:37.123210Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1005.0749","last_updated":"2010-04-27T07:46:10Z","snapshot_observed_at":"2026-07-06T02:09:57.524472Z","submitted_at":"2010-04-27T07:46:10Z","title":"Integrating multiple sources to answer questions in Algebraic Topology","version":1},"cited_work":{"arxiv_id":"1005.0749","doi":null,"metadata_source":"pith","pith_arxiv_id":"1005.0749","snapshot_observed_at":"2026-08-11T19:24:36.875344Z","title":"Integrating multiple sources to answer questions in Algebraic Topology","venue":"cs.SC","work_id":"04d3537e-b3bd-4e55-bed7-f57ba5960e91","year":2010},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.776416Z"},"links":{"cited_paper":"/paper/1005.0749","citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:40b9f180178408b6954b13e7b544ef01b6b3bae717706f04a14313117cb29093","observation_id":"e6a1ab14-1e62-4653-ab41-67bd57fafba1","resolution":{"observed_at":"2026-08-11T19:24:36.881592Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.103344Z","title":"GSM- Symbolic: Understanding the limitations of mathematical reasoning in large language models,","venue":null,"work_id":"83b45955-af4e-482b-aef6-0a89955a0496","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.781091Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:e6106a413d4e4a3931b5e99b4cd074968abbbf60b44bb4d5b8990f19a44e1b70","observation_id":"708fd3f0-5373-4ca3-939d-60701ff91c0b","resolution":{"observed_at":"2026-08-11T19:24:37.108780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.088361Z","title":"Solving Olympiad Geometry Without Human Demonstra- tions,","venue":null,"work_id":"ac504f0e-4d2b-46d9-b778-a050b3468c82","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.785357Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:7b5244b641819fac3d64677b36519394a568978ae7736b1177cf47fb01ebc461","observation_id":"111dadb6-d561-4f13-8b1c-4f01a79c7e5b","resolution":{"observed_at":"2026-08-11T19:24:37.093370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.073367Z","title":"AI solves IMO problems at silver medal level,","venue":null,"work_id":"0bf09be5-6f63-455f-a117-b917847e1ac0","year":2023},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.789604Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:c2dc599f1871694702dbe4203fcb1c641ef6a3f268d37a4dd4f2b78fe3248559","observation_id":"c26c8cc6-1088-4da1-9ba0-078e2a4c5582","resolution":{"observed_at":"2026-08-11T19:24:37.077891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.060245Z","title":"Nonsolvable finite groups all of whose local subgroups are solvable,","venue":null,"work_id":"d28f4222-ac35-47b2-912c-6ffc11f24457","year":1973},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.794547Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:5a2a5720e3cade0c9718a466fa3dcf92e80af720eb50b236feeec02baae4d0f9","observation_id":"4a562e7b-5d65-48bb-a171-ef851213a5f7","resolution":{"observed_at":"2026-08-11T19:24:37.064435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.046862Z","title":"Thompson-like characterization of the solvable radical,","venue":null,"work_id":"1ab5a160-2145-4e0f-b7c4-bc0d7c9ac6eb","year":2006},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.799075Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:86970e30ae567cda10efa6d222ed409ee520cdc83c093d577c41fe4212d9a6fa","observation_id":"41c2c982-8d13-4da1-8e7d-a003096acb15","resolution":{"observed_at":"2026-08-11T19:24:37.051194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.032511Z","title":"Introducing OpenAI O1-preview","venue":null,"work_id":"56ca191b-9c53-4077-88d5-0b0a2d3c9d39","year":2024},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.803444Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:f8bf1599697aa4f829fa58a2bc2d9d90b0ebc53e5c4e4d7ff33161a6b776e6c1","observation_id":"77be555f-49d1-4ccf-ba69-fac677ac8802","resolution":{"observed_at":"2026-08-11T19:24:37.037197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.017564Z","title":"This is the smallest subgroup of G that contains both x and y","venue":null,"work_id":"b617c941-3ac3-43c7-b0b6-7d047581172b","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.808094Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:81424c7b5ce923a0bbfcc23c298618cac08251adc0c656ad7fdedc458572f691","observation_id":"597b4dbb-5749-4d47-8639-04e161853720","resolution":{"observed_at":"2026-08-11T19:24:37.022449Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:37.001541Z","title":null,"venue":null,"work_id":"3746f821-4b26-458c-8b8f-6c238c2991c0","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.812516Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:c0895407dd3401d007d36967b86beb0e6f461b96719d567689be2cd165fb2a3b","observation_id":"a0f9793c-a534-4d5d-a655-2a0bce5d39e9","resolution":{"observed_at":"2026-08-11T19:24:37.006646Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.985343Z","title":"This is an interesting definition, and it essentially captures the elements in G that, when paired with x, produce a solvable subgroup","venue":null,"work_id":"53332f9f-af8d-41c3-9f68-8e207617782d","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.817087Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:84da4375c997c8c3edc2919facea06c55e5023ec0b37f640a563fc9a65318b8f","observation_id":"80fe23f8-e5a3-4b66-bba8-065ba0b684fc","resolution":{"observed_at":"2026-08-11T19:24:36.991075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.970058Z","title":"Theorem: For any x ∈ G, x ∈ SolG(x)","venue":null,"work_id":"ffbe32bf-9a33-4943-9306-9c9b44dbb20f","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.821439Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:68c11187b4da611beb6939d85567c2da4cb5577d74b3531a68a52b9035646293","observation_id":"7fafd964-15b2-44f1-89d2-8c4675accfd4","resolution":{"observed_at":"2026-08-11T19:24:36.974718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.954566Z","title":"This is because if ⟨x, y⟩ is solvable, then ⟨x, y−1⟩ is also solvable","venue":null,"work_id":"218e58dc-a326-4eb6-a061-8d221a91780a","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.825362Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:14964dc035dfdd4ca0082cf41e972cc06da9f9d9b95d8d8120c4af4cf4d6bf6f","observation_id":"00546340-dc7b-4969-ae59-a518428b2400","resolution":{"observed_at":"2026-08-11T19:24:36.959446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.939314Z","title":"Theorem (Conditional): For y1, y2 ∈ SolG(x), if y1y2 ∈ ⟨x, y1⟩ or y1y2 ∈ ⟨x, y2⟩, then y1y2 ∈ SolG(x)","venue":null,"work_id":"12c6bdd2-f321-40ab-945a-010a10707890","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.829851Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:c66ad89cfa44e9c2e25bbeddc5d83d5592f4698982ab5dc771607a801ebcaf2c","observation_id":"b4fbfb70-978a-4ab9-9a9b-775bf3bed0df","resolution":{"observed_at":"2026-08-11T19:24:36.944232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.924300Z","title":"Theorem: If G is solvable, then for all x ∈ G, SolG(x) = G","venue":null,"work_id":"ffdc7730-a751-4573-8170-1d073187657e","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.834323Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:54573b699c294da511c02ecdd7e56cfcdc8ac9b94cdb5b24aed109ae5eb4cc09","observation_id":"7cfa47c8-a20a-4118-b20b-a19709b303e1","resolution":{"observed_at":"2026-08-11T19:24:36.929140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T19:24:36.909059Z","title":"No Counter - examples !","venue":null,"work_id":"fd3977a8-ad17-4155-bfb1-51b6f9f3603f","year":null},"citing_paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T19:24:36.838056Z"},"links":{"citing_paper":"/paper/2412.16177"},"observation_digest":"sha256:7723a71cd16840d6055eb5d75aa613e8f8c939064f68cf3678733b316adde6cb","observation_id":"791adad9-2c9d-470e-82fd-5595793d4ba9","resolution":{"observed_at":"2026-08-11T19:24:36.913784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.16177","last_updated":"2024-12-09T19:00:38Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-11T19:16:08.508668Z","submitted_at":"2024-12-09T19:00:38Z","title":"Mining Math Conjectures from LLMs: A Pruning Approach"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":1,"verified_fuzzy":28},"total_outbound_references":33},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2412.16177."}