Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-07T15:42:24.167986Z
Paper Citation Record · LEDGER
Rethinking Wireless Communications through Formal Mathematical AI Reasoning
As of 22 July 2026, this Paper Citation Record lists 93 of 93 outbound references and 0 inbound Pith citation observations for arXiv:2604.25155.
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-07-21T06:31:05.380196+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
93 of 93 outbound references displayed
- verified exact23
- verified fuzzy63
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch7
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation da5b548d-b315-4091-926e-e8b37afced6c · outbound
This paper cites A mathematical theory of communication.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A mathematical theory of communication
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.323833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1e0a3cad-14d7-422d-86fd-a943d6a05abb · outbound
This paper cites Massive MIMO networks: Spectral, energy, and hardware efficiency.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Massive MIMO networks: Spectral, energy, and hardware efficiency
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.113332Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 4ec673b7-90c6-42c0-8ec2-5d93ec205940 · outbound
This paper cites Couillet and M.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Couillet and M
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.125263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 9da8cbd3-1186-433e-80d2-8b659cc11cb8 · outbound
This paper cites A tractable approach to coverage and rate in cellular networks.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A tractable approach to coverage and rate in cellular networks
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.110283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation ee2fb39f-45c5-4877-a973-551bc28cfa60 · outbound
This paper cites Haenggi,Stochastic geometry for wireless networks.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Haenggi,Stochastic geometry for wireless networks
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.116585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a90185f3-2b7e-4c16-94c6-cd6c5383060a · outbound
This paper cites Integrated sensing and communications: Toward dual-functional wire- less networks for 6G and beyond.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Integrated sensing and communications: Toward dual-functional wire- less networks for 6G and beyond
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.104069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 666b38e6-85bb-422a-ab14-9af5083bd109 · outbound
This paper cites A survey on fundamental limits of integrated sensing and communication.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A survey on fundamental limits of integrated sensing and communication
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.101184Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 96b0b632-6dbc-407d-9151-7bb6bad203e3 · outbound
This paper cites Stochastic geometry and random graphs for the analysis and design of wireless networks.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Stochastic geometry and random graphs for the analysis and design of wireless networks
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.106772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5e7c30ea-ae69-4152-a59a-20faa2a8e287 · outbound
This paper cites An introduction to convex optimization for communications and signal processing.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning An introduction to convex optimization for communications and signal processing
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.121110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 61554723-a46e-4091-830e-d7286b2a5097 · outbound
This paper cites A survey of recent advances in optimization methods for wireless communications.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A survey of recent advances in optimization methods for wireless communications
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.127995Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f286eaa4-9c52-4cc1-ab50-d8b0463806c0 · outbound
This paper cites Tse and P.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Tse and P
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.186707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1ad7f4ee-dbc5-4f68-9c41-0baaf606ac17 · outbound
This paper cites an unresolved cited work.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Unresolved cited work
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.305876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation cfc08f2b-aee4-45e4-b741-a23c8b260729 · outbound
This paper cites The lean 4 theorem prover and program- ming language.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning The lean 4 theorem prover and program- ming language
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.308297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 91dbcafc-86fe-49b1-b341-17f61544b02f · outbound
This paper cites Bertot and P.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Bertot and P
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.310718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 702917f5-2723-4424-b963-76f4c617e355 · outbound
This paper cites Hypertree proof search for neural theorem proving.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Hypertree proof search for neural theorem proving
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.316585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 68dca442-eb1b-4ed7-be4e-2e09b8946f0d · outbound
This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.403338Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 372088fc-d6a8-4a43-9e6f-d59996d5b343 · outbound
This paper cites ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving
Reference 17
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T09:19:36.299641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 2a0976d8-9707-470f-af34-219757d3252e · outbound
This paper cites AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
Reference 18
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.789069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 7ce0ca6e-af35-4653-bfe8-363e479e1911 · outbound
This paper cites Solving olympiad geometry without human demonstrations.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Solving olympiad geometry without human demonstrations
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.288484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 69bd7c4f-9e5c-47aa-b661-0e96d0155b88 · outbound
This paper cites Olympiad- level formal mathematical reasoning with reinforcement learning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Olympiad- level formal mathematical reasoning with reinforcement learning
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.285465Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a616c94b-dce5-4a60-a386-9c14a20e5ceb · outbound
This paper cites Llemma: An Open Language Model For Mathematics.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Llemma: An Open Language Model For Mathematics
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T08:17:47.048289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c2681927-ad5e-466c-88fc-da63f56e8b44 · outbound
This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-05-12T00:11:16.709519Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c9f84f69-c696-48da-8b5c-c3564ed85506 · outbound
This paper cites Solv- ing quantitative reasoning problems with language models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Solv- ing quantitative reasoning problems with language models
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.282681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e21631d1-376b-44e5-85c8-770c304f40f3 · outbound
This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Measuring Mathematical Problem Solving With the MATH Dataset
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-05-12T00:11:16.764086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3f078c17-631c-409f-af5a-47a796b26a64 · outbound
This paper cites Olympiadbench: A challenging benchmark for promot- ing agi with olympiad-level bilingual multimodal scientific problems.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Olympiadbench: A challenging benchmark for promot- ing agi with olympiad-level bilingual multimodal scientific problems
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.303251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 439fdf14-2b27-4c99-bd6e-59b4a09c2e2e · outbound
This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Reference 26
- Resolution
- verified exact
- arxiv_id, observed 2026-05-16T20:03:04.481585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 62a6d816-e1c6-4e88-ba89-2f055f31a329 · outbound
This paper cites Wireless- mathbench: A mathematical modeling benchmark for llms in wireless communications.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Wireless- mathbench: A mathematical modeling benchmark for llms in wireless communications
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.299946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a4263b47-a76e-40ab-bb27-2b171cae5662 · outbound
This paper cites AI-driven research in pure mathematics and theoretical physics.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning AI-driven research in pure mathematics and theoretical physics
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.313851Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a0488e60-632a-4a3b-bf6a-dce0cc764d3b · outbound
This paper cites an unresolved cited work.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Unresolved cited work
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.235990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation b409ffb5-1082-4e5e-8a59-1ac783ae346e · outbound
This paper cites an unresolved cited work.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Unresolved cited work
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.250389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f00fc56b-2913-4a0a-bf0d-43e2c8a91f6b · outbound
This paper cites How much training is needed in multiple-antenna wireless links?.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning How much training is needed in multiple-antenna wireless links?
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.233543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 859b2eeb-c979-4e18-8967-4c757c1eb8d8 · outbound
This paper cites Statistical signal processing: estimation theory.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Statistical signal processing: estimation theory
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.242593Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 4dc3980a-bfab-4f7c-a932-02f385ae78dd · outbound
This paper cites Optimal multiuser trans- mit beamforming: A difficult problem with a simple solution structure [lecture notes].
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Optimal multiuser trans- mit beamforming: A difficult problem with a simple solution structure [lecture notes]
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.222059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 73c0d63d-930b-4b0d-9489-a2bedf93eebe · outbound
This paper cites An iteratively weighted mmse approach to distributed sum-utility maximization for a mimo interfering broadcast channel.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning An iteratively weighted mmse approach to distributed sum-utility maximization for a mimo interfering broadcast channel
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.199481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1338d8d4-1619-4797-90c2-68f467d15f24 · outbound
This paper cites Capacity of multi-antenna gaussian channels.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Capacity of multi-antenna gaussian channels
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.218795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 2f6cce1e-790e-40d0-bfe4-226876a725e3 · outbound
This paper cites On limits of wireless communications in a fading environment when using multiple antennas.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning On limits of wireless communications in a fading environment when using multiple antennas
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.202616Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 26a5f5bd-84ab-48a6-a160-ec1b3c778a30 · outbound
This paper cites Channel coding rate in the finite blocklength regime.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Channel coding rate in the finite blocklength regime
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.209491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 6c5b4bd3-480d-4fb7-92fe-626adcfa5484 · outbound
This paper cites The wire-tap channel.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning The wire-tap channel
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.196639Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 96cce685-bc88-411a-910c-d8982e3a2058 · outbound
This paper cites Liu and W.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Liu and W
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.193899Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 48f286db-2491-4e06-838a-c8aaa596efe9 · outbound
This paper cites A simple and general parameterization quantifying performance in fading channels.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A simple and general parameterization quantifying performance in fading channels
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.215242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 017c4353-5fa1-44a0-8998-2fe8b275a505 · outbound
This paper cites Modeling and analysis of k-tier downlink heterogeneous cellular networks.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Modeling and analysis of k-tier downlink heterogeneous cellular networks
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.212545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 999b1d03-1289-4239-8865-ca8ba79bb102 · outbound
This paper cites Dual methods for nonconvex spectrum optimization of multicarrier systems.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Dual methods for nonconvex spectrum optimization of multicarrier systems
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.191089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5008237c-555c-46b1-87a7-d33dbb654a54 · outbound
This paper cites A tutorial on decomposition methods for network utility maximization.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A tutorial on decomposition methods for network utility maximization
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.239188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 144a7ca2-37c9-4263-903c-c63d33e96ee3 · outbound
This paper cites Srikant and L.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Srikant and L
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.206088Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 912eaf34-3fa7-4874-b241-6de9578d363d · outbound
This paper cites Interference alignment and degrees of freedom of thek-user interference channel.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Interference alignment and degrees of freedom of thek-user interference channel
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.225000Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 7bf69fcb-3cec-42ce-9471-d95a477943fc · outbound
This paper cites Dynamic spectrum management: Complexity and duality.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Dynamic spectrum management: Complexity and duality
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.227837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f636986c-4085-4ac0-a28d-975e36c5400a · outbound
This paper cites Neely,Stochastic network optimization with application to commu- nication and queueing systems.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Neely,Stochastic network optimization with application to commu- nication and queueing systems
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.246565Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 88b881b4-8928-41cd-ba87-039f7b632303 · outbound
This paper cites Effective capacity: a wireless link model for support of quality of service.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Effective capacity: a wireless link model for support of quality of service
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.230808Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e84f511e-c4c0-4768-935a-2b32937a3c48 · outbound
This paper cites Noncooperative cellular wireless with unlimited num- bers of base station antennas.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Noncooperative cellular wireless with unlimited num- bers of base station antennas
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.177842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation f82fd904-28e5-4c44-99b1-c919555c8120 · outbound
This paper cites El Gamal and Y .-H.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning El Gamal and Y .-H
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.174045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 79e789ed-a940-4c55-ae8b-e5a75a5faae1 · outbound
This paper cites Capacity of fading channels with channel side information.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Capacity of fading channels with channel side information
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.182559Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a8e30563-84d6-48a3-be03-2336b8994d40 · outbound
This paper cites Baccelli and B.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Baccelli and B
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.277350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c5307737-03b6-481c-baf7-97f1dd86aa20 · outbound
This paper cites A survey of deep learning for mathematical reasoning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A survey of deep learning for mathematical reasoning
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.161157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 6a10b476-d1ed-443c-982f-de6970de5114 · outbound
This paper cites Formal Mathematical Reasoning: A New Frontier in AI.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Formal Mathematical Reasoning: A New Frontier in AI
Reference 54
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.551605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation fe690e18-7cdc-4a7e-8d44-3e93d004c837 · outbound
This paper cites A Survey on Mathematical Reasoning and Optimization with Large Language Models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning A Survey on Mathematical Reasoning and Optimization with Large Language Models
Reference 55
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.433351Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 14a19c4c-bc7e-4925-b628-cd9f273cefdb · outbound
This paper cites Leandojo: Theorem proving with retrieval-augmented language models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Leandojo: Theorem proving with retrieval-augmented language models
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.164254Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e206e26c-6220-475c-9c43-81ee2af715bb · outbound
This paper cites Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Reference 57
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.601325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 05af7fc1-ce4f-4ac0-bb3d-1bc01a968eb4 · outbound
This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 58
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T18:32:40.989755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation b170483f-b35e-4c87-b6f7-1f6680677565 · outbound
This paper cites Mathsensei: a tool-augmented large language model for mathematical reasoning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Mathsensei: a tool-augmented large language model for mathematical reasoning
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.167239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 76648abb-bfc9-479e-80ef-95841fc52c1d · outbound
This paper cites MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
Reference 60
- Resolution
- verified exact
- arxiv_id, observed 2026-05-13T10:07:53.977132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 326ad5b5-ee8b-42d3-b5c5-4c383689cb17 · outbound
This paper cites Math-shepherd: Verify and reinforce llms step-by-step without human annotations.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Math-shepherd: Verify and reinforce llms step-by-step without human annotations
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.154776Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 02d19f34-4e0a-48e6-85e3-941b66d76d10 · outbound
This paper cites Nipkow, M.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Nipkow, M
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.274473Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a90cc8f2-2846-4a99-b861-f6644dcb2e5f · outbound
This paper cites Growing mathlib: maintenance of a large scale math- ematical library.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Growing mathlib: maintenance of a large scale math- ematical library
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.280130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 05075ba0-9518-4477-a55c-c30e6dd30162 · outbound
This paper cites Generative Language Modeling for Automated Theorem Proving.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Generative Language Modeling for Automated Theorem Proving
Reference 64
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T05:18:10.906922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3ddd73bb-d880-43ed-b574-1dfc594bb6eb · outbound
This paper cites LISA: Language models of isabelle proofs.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning LISA: Language models of isabelle proofs
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.149107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation c0039890-8868-4fee-a0ff-d2255c69176b · outbound
This paper cites STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
Reference 66
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.752250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e2e0de7c-9211-4b64-85bf-741ac9e0867f · outbound
This paper cites Abel: Sample efficient online reinforcement learning for neural theorem proving.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Abel: Sample efficient online reinforcement learning for neural theorem proving
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.158231Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 0878dc47-7271-48d2-a42a-aed0f743485e · outbound
This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning LEGO-Prover: Neural Theorem Proving with Growing Libraries
Reference 68
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.348279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation db359685-7da3-458d-b655-ee188ad0d222 · outbound
This paper cites Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Reference 69
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.526176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation b0c027c8-53a4-4711-92a4-8e780d5601f1 · outbound
This paper cites Proving olympiad algebraic inequal- ities without human demonstrations.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Proving olympiad algebraic inequal- ities without human demonstrations
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.253627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation a03fb12f-c75b-41a6-b88a-0615914dec1c · outbound
This paper cites MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning
Reference 71
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T07:31:08.404728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 830e4a31-42ef-41fe-9b0d-bbf1b09e5c58 · outbound
This paper cites Linc: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Linc: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.170539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 7b3879f0-8de8-448d-a15d-b43dafce4d79 · outbound
This paper cites Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Reference 73
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.674940Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 9f80783d-bf2c-40dd-aa5b-b6fd457b31c4 · outbound
This paper cites Pal: Program-aided language models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Pal: Program-aided language models
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.141531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3b215fb5-6b24-4f26-80fd-2c7dcfe830da · outbound
This paper cites Satlm: Satisfiability-aided language models using declarative prompting.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Satlm: Satisfiability-aided language models using declarative prompting
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.144867Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d0163b3a-946f-4e42-8cf7-843100edc7ea · outbound
This paper cites Chain-of-thought prompting elicits reasoning in large language models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Chain-of-thought prompting elicits reasoning in large language models
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.135358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1ec9246f-ecde-4637-9c0b-58db3a68a3e7 · outbound
This paper cites To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
Reference 77
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.574243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5e243b42-b9d7-4105-8b3e-ffcd6c21c65c · outbound
This paper cites Injecting numerical reasoning skills into language models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Injecting numerical reasoning skills into language models
Reference 78
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.297443Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 963ee22a-7b34-4545-aaad-55bb8e8d5d34 · outbound
This paper cites Injecting Numerical Reasoning Skills into Knowledge Base Question Answering Models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Injecting Numerical Reasoning Skills into Knowledge Base Question Answering Models
Reference 79
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.519355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 01a6bec6-f46c-4cd6-821c-a89df6fc6db7 · outbound
This paper cites Self-Consistency Improves Chain of Thought Reasoning in Language Models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Self-Consistency Improves Chain of Thought Reasoning in Language Models
Reference 80
- Resolution
- verified exact
- local_arxiv, observed 2026-05-12T00:11:16.644892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation fbb2cf66-4c42-4ef7-9cb4-dff6dca0bb96 · outbound
This paper cites Let’s verify step by step.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Let’s verify step by step
Reference 81
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.138699Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 5bd4583d-dd04-490d-aa54-0767f13f461a · outbound
This paper cites Incentivizing llms to self-verify their answers.arXiv preprint arXiv:2506.01369, 2025a.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Incentivizing llms to self-verify their answers.arXiv preprint arXiv:2506.01369, 2025a
Reference 82
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.613306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 4221c4d4-7f21-4061-b3e4-119be7afa316 · outbound
This paper cites Sets: Leveraging self-verification and self-correction for improved test-time scaling.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Sets: Leveraging self-verification and self-correction for improved test-time scaling
Reference 83
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.629128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 9cccdb1c-6979-4cbb-9ba4-25c7149f5db8 · outbound
This paper cites Tree of thoughts: Deliberate problem solving with large language models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Tree of thoughts: Deliberate problem solving with large language models
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.291248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 033b4254-7c27-4857-af3e-4bc6e0582faf · outbound
This paper cites Training Verifiers to Solve Math Word Problems.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Training Verifiers to Solve Math Word Problems
Reference 85
- Resolution
- verified exact
- local_arxiv, observed 2026-05-12T00:11:16.635486Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 3471c095-e371-43aa-8a02-01e23abc99d3 · outbound
This paper cites NaturalProofs: Mathematical Theorem Proving in Natural Language.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning NaturalProofs: Mathematical Theorem Proving in Natural Language
Reference 87
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.536339Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 422db16e-2292-4e12-9253-9d200786756a · outbound
This paper cites IsarStep: a Benchmark for High-level Mathematical Reasoning.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning IsarStep: a Benchmark for High-level Mathematical Reasoning
Reference 88
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.559555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 216fdaee-999b-4145-9a4b-2c40963a468c · outbound
This paper cites Lean workbook: A large-scale lean problem set formalized from natural language math problems.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Lean workbook: A large-scale lean problem set formalized from natural language math problems
Reference 89
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.294348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 6e85d79b-3576-4431-b583-f9f916b829cb · outbound
This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Reference 90
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.455803Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1971acd4-14b6-4ef7-9fba-fc82c07245d2 · outbound
This paper cites LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover
Reference 91
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.498937Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation e04b7193-096a-40c9-ad02-0315eb3446f5 · outbound
This paper cites Lean4physics: Comprehensive reasoning framework for college-level physics in lean4.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Lean4physics: Comprehensive reasoning framework for college-level physics in lean4
Reference 92
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T00:11:16.475353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation 1c1dc5f8-1d79-45ce-8e70-847339c6715d · outbound
This paper cites Wolfram,The mathematica book.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning Wolfram,The mathematica book
Reference 93
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T03:03:28.131485Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Observation d5803996-a762-4e79-9d8e-0b14a5675a50 · outbound
This paper cites FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models.
Rethinking Wireless Communications through Formal Mathematical AI Reasoning FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Reference 94
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-12T00:11:16.771351Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.
Pith citing papers
No inbound Pith citation observations are available.