Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T22:55:08.381466Z
Paper Citation Record · LEDGER
Efficient Certified Reasoning for Binarized Neural Networks
As of 8 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2507.02916.
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
58 of 58 outbound references displayed
- verified exact0
- verified fuzzy38
- unresolved20
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 728010e5-53b5-4759-a291-c4361fedb6da · outbound
This paper cites An introduction to CORA 2015.
Efficient Certified Reasoning for Binarized Neural Networks An introduction to CORA 2015
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.323476Z
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.
Observation 9ead3938-8ea3-4f60-8a39-9b22e6537b8d · outbound
This paper cites Barrett, and Guy Katz.
Efficient Certified Reasoning for Binarized Neural Networks Barrett, and Guy Katz
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.308802Z
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.
Observation c9fefaea-4b55-4556-9f73-5d3b6320ca59 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:09.293493Z
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.
Observation e445e3a1-4991-4da6-80bc-7a28650e0dd0 · outbound
This paper cites nnenum : Verification of ReLU neural networks with optimized abstraction refinement.
Efficient Certified Reasoning for Binarized Neural Networks nnenum : Verification of ReLU neural networks with optimized abstraction refinement
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.278099Z
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.
Observation 63c04a1d-bd11-480a-8291-ebdda0a735b4 · outbound
This paper cites Meel, and Prateek Saxena.
Efficient Certified Reasoning for Binarized Neural Networks Meel, and Prateek Saxena
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.262667Z
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.
Observation b075f597-e055-4554-8ba2-1fe84deb554e · outbound
This paper cites Nori, and Antonio Criminisi.
Efficient Certified Reasoning for Binarized Neural Networks Nori, and Antonio Criminisi
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.245676Z
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.
Observation 2a5cd23e-184f-4f26-9397-0cb9c54f90d7 · outbound
This paper cites CaDiCaL 2.0.
Efficient Certified Reasoning for Binarized Neural Networks CaDiCaL 2.0
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.230422Z
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.
Observation 47b918d1-6c2e-4e91-9278-5f2ae3310361 · outbound
This paper cites Certified dominance and symmetry breaking for combinatorial optimisation.
Efficient Certified Reasoning for Binarized Neural Networks Certified dominance and symmetry breaking for combinatorial optimisation
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.214743Z
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.
Observation 1410a1fd-0fac-427a-9fff-c6af89fa27be · outbound
This paper cites End to End Learning for Self-Driving Cars.
Efficient Certified Reasoning for Binarized Neural Networks End to End Learning for Self-Driving Cars
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T22:55:08.129549Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cfd3aa81-6861-4e73-924b-e3fbb248d9ab · outbound
This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.
Efficient Certified Reasoning for Binarized Neural Networks The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T22:55:08.135713Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bac8ec0e-26b9-4472-bafb-dd1e8507ea40 · outbound
This paper cites Bryant, Wojciech Nawrocki, Jeremy Avigad, and Marijn J.
Efficient Certified Reasoning for Binarized Neural Networks Bryant, Wojciech Nawrocki, Jeremy Avigad, and Marijn J
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.198855Z
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.
Observation 8015e91b-77a8-40fd-aaed-f5fc3624df41 · outbound
This paper cites Meel, and Moshe Y.
Efficient Certified Reasoning for Binarized Neural Networks Meel, and Moshe Y
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.183344Z
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.
Observation f2752a65-8a8b-4bc4-a54e-f778502219a1 · outbound
This paper cites NeVer2 : learning and verification of neural networks.
Efficient Certified Reasoning for Binarized Neural Networks NeVer2 : learning and verification of neural networks
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.167437Z
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.
Observation 0eca1e8c-cd7c-4374-a12a-1d1037540629 · outbound
This paper cites Passmore, Kathrin Stark, Ekaterina Komendantskaya, and Guy Katz.
Efficient Certified Reasoning for Binarized Neural Networks Passmore, Kathrin Stark, Ekaterina Komendantskaya, and Guy Katz
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.151670Z
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.
Observation 6ab8662d-d0e9-42e8-8995-f9cae2fee0c1 · outbound
This paper cites BERT: pre-training of deep bidirectional transformers for language understanding.
Efficient Certified Reasoning for Binarized Neural Networks BERT: pre-training of deep bidirectional transformers for language understanding
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.136534Z
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.
Observation 1b0af42a-e2b8-4e7f-81e2-25e97bdeb5c5 · outbound
This paper cites Meel, Roger Paredes, and Moshe Y.
Efficient Certified Reasoning for Binarized Neural Networks Meel, Roger Paredes, and Moshe Y
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.121276Z
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.
Observation 8ea8740d-3785-4ba3-8f7e-1f9c66354d01 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:09.105170Z
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.
Observation eac6740f-ff5f-47cd-83be-a140ce8a5f39 · outbound
This paper cites Effective preprocessing in SAT through variable and clause elimination.
Efficient Certified Reasoning for Binarized Neural Networks Effective preprocessing in SAT through variable and clause elimination
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.090412Z
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.
Observation 5642b4a9-3baf-414d-9e8d-436c97f89e92 · outbound
This paper cites Divide and conquer: Towards faster pseudo-boolean solving.
Efficient Certified Reasoning for Binarized Neural Networks Divide and conquer: Towards faster pseudo-boolean solving
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.075171Z
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.
Observation c783cefb-c7a7-413a-abca-d07da00b64e2 · outbound
This paper cites Proofs for propositional model counting.
Efficient Certified Reasoning for Binarized Neural Networks Proofs for propositional model counting
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.059875Z
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.
Observation 69bbec59-b515-4b8e-8ef2-86d6acd2d10e · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:09.043736Z
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.
Observation a98b8112-4833-45fb-a532-0d1ea37126c5 · outbound
This paper cites Deep sparse rectifier neural networks.
Efficient Certified Reasoning for Binarized Neural Networks Deep sparse rectifier neural networks
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.027475Z
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.
Observation c13c9fdd-bfd5-48ab-bdc7-9b068977234e · outbound
This paper cites BiViT : Extremely compressed binary vision transformers.
Efficient Certified Reasoning for Binarized Neural Networks BiViT : Extremely compressed binary vision transformers
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:09.010877Z
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.
Observation aa538a4b-1d3b-477a-a476-2dd0d52e207a · outbound
This paper cites Hunt Jr., Matt Kaufmann, and Nathan Wetzler.
Efficient Certified Reasoning for Binarized Neural Networks Hunt Jr., Matt Kaufmann, and Nathan Wetzler
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.994662Z
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.
Observation 69f33704-bff5-467d-80ee-0a81b07ab956 · outbound
This paper cites Safety verification of deep neural networks.
Efficient Certified Reasoning for Binarized Neural Networks Safety verification of deep neural networks
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.977642Z
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.
Observation d4a9f0f8-7ecd-42cf-a9e6-28669bfc5318 · outbound
This paper cites Binarized neural networks.
Efficient Certified Reasoning for Binarized Neural Networks Binarized neural networks
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.961893Z
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.
Observation 94e07782-f13a-4650-a864-c286caf1ea2f · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.944743Z
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.
Observation fcb17ba9-6a5a-4e49-b252-94d1b84108c7 · outbound
This paper cites Johnson and Michael A.
Efficient Certified Reasoning for Binarized Neural Networks Johnson and Michael A
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.927590Z
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.
Observation 474434aa-1b96-4641-bf1b-64f5663ae5e4 · outbound
This paper cites Julian, Jessica Lopez, Jeffrey S.
Efficient Certified Reasoning for Binarized Neural Networks Julian, Jessica Lopez, Jeffrey S
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.912241Z
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.
Observation 874a9c95-2282-4718-9e22-711f9a6ce05f · outbound
This paper cites Barrett, David L.
Efficient Certified Reasoning for Binarized Neural Networks Barrett, David L
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.896917Z
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.
Observation 0c77c1a4-b0d8-494c-a403-911079b31375 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.882588Z
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.
Observation 83b952bd-6866-452c-b39b-3308874f99b5 · outbound
This paper cites Efficient verified (UN)SAT certificate checking.
Efficient Certified Reasoning for Binarized Neural Networks Efficient verified (UN)SAT certificate checking
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.867808Z
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.
Observation 90c3864b-c7b5-4fb4-9fd1-3003d6a08d18 · outbound
This paper cites Neural Network Verification with PyRAT.
Efficient Certified Reasoning for Binarized Neural Networks Neural Network Verification with PyRAT
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T22:55:08.256519Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce1e57c2-2438-4bfc-943f-6594d39a16b9 · outbound
This paper cites AWQ: activation-aware weight quantization for on-device LLM compression and acceleration.
Efficient Certified Reasoning for Binarized Neural Networks AWQ: activation-aware weight quantization for on-device LLM compression and acceleration
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.853494Z
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.
Observation 25cdb88f-a4d3-4e45-9998-9ae21d2b29cf · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.839230Z
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.
Observation 1f39f383-e5a3-47b2-900f-289939ac25a9 · outbound
This paper cites McConnell, Kurt Mehlhorn, Stefan N \" a her, and Pascal Schweitzer.
Efficient Certified Reasoning for Binarized Neural Networks McConnell, Kurt Mehlhorn, Stefan N \" a her, and Pascal Schweitzer
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.825030Z
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.
Observation a5a1fd01-08a2-4694-adb5-de1a50edcf6c · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.810643Z
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.
Observation 7b3e8eeb-a9e3-4b51-bf15-4e80fe99b3b8 · outbound
This paper cites Verifying properties of binarized deep neural networks.
Efficient Certified Reasoning for Binarized Neural Networks Verifying properties of binarized deep neural networks
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.795791Z
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.
Observation 92b3f9a8-ebf7-4e2c-993b-045a6a19013c · outbound
This paper cites In search for a SAT -friendly binarized neural network architecture.
Efficient Certified Reasoning for Binarized Neural Networks In search for a SAT -friendly binarized neural network architecture
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.780883Z
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.
Observation 2663bd3a-1d81-4585-8774-73357f87a02b · outbound
This paper cites XNOR-Net : ImageNet classification using binary convolutional neural networks.
Efficient Certified Reasoning for Binarized Neural Networks XNOR-Net : ImageNet classification using binary convolutional neural networks
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.765932Z
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.
Observation e3e88a7b-f5d2-4cf9-9e47-9c8123df1870 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.751117Z
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.
Observation 8628d23f-47f4-48df-aff6-f51652096900 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.734988Z
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.
Observation c71d3da7-3548-4ba4-955d-b7a05d24933d · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.719693Z
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.
Observation cc93d771-cf96-401a-9a83-59e4fa776046 · outbound
This paper cites Extending SAT solvers to cryptographic problems.
Efficient Certified Reasoning for Binarized Neural Networks Extending SAT solvers to cryptographic problems
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.701939Z
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.
Observation 6d5b0128-ad7f-471f-9bec-d70a3d42508f · outbound
This paper cites Goodfellow, and Rob Fergus.
Efficient Certified Reasoning for Binarized Neural Networks Goodfellow, and Rob Fergus
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.686818Z
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.
Observation ef3ea918-6de5-4ff4-bd64-0fde43988b90 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.672014Z
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.
Observation 4a782c58-1b42-4c58-864a-60f56177bb25 · outbound
This paper cites Myreen, Ramana Kumar, Anthony C.
Efficient Certified Reasoning for Binarized Neural Networks Myreen, Ramana Kumar, Anthony C
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.657153Z
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.
Observation 87c887d6-de27-463c-a709-d165567df7ec · outbound
This paper cites Approximate model counting.
Efficient Certified Reasoning for Binarized Neural Networks Approximate model counting
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.641780Z
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.
Observation ed6f91e2-e93c-45bd-ba07-505889c332c3 · outbound
This paper cites Myreen, and Kuldeep S.
Efficient Certified Reasoning for Binarized Neural Networks Myreen, and Kuldeep S
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.626278Z
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.
Observation fbc6158f-8540-4b93-83c9-4a2dcc6eb4c2 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.609669Z
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.
Observation 43fb3c35-88de-4595-8a80-51e73896ffc0 · outbound
This paper cites Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification.
Efficient Certified Reasoning for Binarized Neural Networks Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T22:55:08.346813Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 757d7fe4-6a58-4597-94c9-9923ddce6b89 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.594717Z
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.
Observation d956dd6b-2627-488d-a62f-4fc2b7013d28 · outbound
This paper cites Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W.
Efficient Certified Reasoning for Binarized Neural Networks Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.578393Z
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.
Observation 6b3d7499-fc6a-4fd0-ae0d-d4f4a80e5cb9 · outbound
This paper cites SmoothQuant : Accurate and efficient post-training quantization for large language models.
Efficient Certified Reasoning for Binarized Neural Networks SmoothQuant : Accurate and efficient post-training quantization for large language models
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.560753Z
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.
Observation 4e03351e-4197-4b48-aa88-25179243bd40 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.543631Z
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.
Observation f11476a8-a169-44ac-a7ae-76e0bc5b1023 · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.526845Z
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.
Observation 46bc5d46-2bd2-4299-b9ab-02a7f9504a3b · outbound
This paper cites an unresolved cited work.
Efficient Certified Reasoning for Binarized Neural Networks Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:55:08.509907Z
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.
Observation 327f7d14-fcd8-441b-a03a-82dd1c36ed86 · outbound
This paper cites Binarized neural machine translation.
Efficient Certified Reasoning for Binarized Neural Networks Binarized neural machine translation
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T22:55:08.493448Z
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.