From the 1 of 1.3k papers with an AI index.
6.1k citations
- Fermi National Accelerator LaboratoryUS381 papers
- Princeton UniversityUS378 papers
- RWTH Aachen UniversityDE376 papers
- Charles UniversityCZ372 papers
- University of Nebraska–LincolnUS372 papers
- Northwestern UniversityUS368 papers
- Centre National de la Recherche ScientifiqueFR366 papers
- Tata Institute of Fundamental ResearchIN366 papers
- Florida State UniversityUS364 papers
- University of Illinois ChicagoUS364 papers
- Joint Institute for Nuclear ResearchRU361 papers
- Rice UniversityUS361 papers
57 papers · 1 filter
The shadows of accelerating Kerr-Newman black hole and constraints from M87*
Tao-Tao Sui, Qi-Ming Fu, Wen-Di Guo
In this paper, we study the influence of the parameters for the accelerating Kerr-Newman black hole on the shadows and the constraints, extensively. We find that the rotating param…
Electronic structure in a transition metal dipnictide TaAs2
Sabin Regmi, Cheng-Yi Huang, Mojammel A. Khan +11
The family of transition metal dipnictides (TMDs) has been of theoretical and experimental interest because this family hosts topological states and extremely large magnetoresistan…
Proving Calculational Proofs Correct
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
Teaching proofs is a crucial component of any undergraduate-level program that covers formal reasoning. We have developed a calculational reasoning format and refined it over sever…
Verification of GossipSub in ACL2s
Ankit Kumar, Max von Hippel, Panagiotis Manolios +1
GossipSub is a popular new peer-to-peer network protocol designed to disseminate messages quickly and efficiently by allowing peers to forward the full content of messages only to…
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses
Ruben Gamboa, Panagiotis Manolios, Eric Smith +1
Newcomers to ACL2 are sometimes surprised that ACL2 rejects formulas that they believe should be theorems, such as (REVERSE (REVERSE X)) = X. Experienced ACL2 users will recognize…
A Case Study in Analytic Protocol Analysis in ACL2
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan +2
When verifying computer systems we sometimes want to study their asymptotic behaviors, i.e., how they behave in the long run. In such cases, we need real analysis, the area of math…