Kshitij Bansal

Medanta The Medicity — India

Computer Science · Physical Sciences

13h-index1.1kcitations40works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(18), Formal Methods in Verification(11), Distributed systems and fault tolerance(8), Logic, Reasoning, and Knowledge(8), Natural Language Processing Techniques(7)

Publications39 total

Blood Transfusion-Related Posterior Reversible Encephalopathy Syndrome: The Rare Neurological Scare
International Journal of Epilepsy·2025Open Access
Mumps Myelitis—A Rare Cause of Myelitis
American Journal of Tropical Medicine and Hygiene·2025
A Study of the Correlation of Pulsatility Index by Transcranial Doppler in the Clinical Outcome of Patients with Cerebral Venous Sinus Thrombosis
Journal of Stroke Medicine·2024
The study of serum sex hormones and bone mineral density for predicting prognosis in patients with acute ischemic stroke
Journal of Modern Medicine·2024Open Access
A retrospective study of demographic profile and risk factors associated with basilar artery occlusion: An Indian perspective
Journal of Modern Medicine·2023Open Access
Wind Turbine Parameters Estimation and Visualization through Dashboard
International Journal for Research in Applied Science and Engineering Technology·2021Open Access
Mathematical Reasoning via Self-supervised Skip-tree Training
International Conference on Learning Representations·2021· 13 cited
Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing
Lecture notes in computer science·2021· 5 cited
Synthesizing Precise and Useful Commutativity Conditions
Journal of Automated Reasoning·2020· 5 cited
Mathematical Reasoning via Self-supervised Skip-tree Training
arXiv (Cornell University)·2020· 13 citedOpen Access
Language Modeling for Formal Mathematics
arXiv (Cornell University)·2020· 3 citedOpen Access
Mathematical Reasoning in Latent Space
International Conference on Learning Representations·2020· 15 cited
Reducing Commutativity Verification to Reachability with Differencing Abstractions
arXiv (Cornell University)·2020· 1 citedOpen Access
Reducing Commutativity Verification to Reachability with Differencing\n Abstractions
arXiv (Cornell University)·2020Open Access
Graph Representations for Higher-Order Logic and Theorem Proving
Proceedings of the AAAI Conference on Artificial Intelligence·2020· 12 citedOpen Access
Study of Neutrophil-to-Lymphocyte Ratio (NLR) as Predictor of Neurological Deterioration in Patients with Acute Intracerebral Hemorrhage.
PubMed·2020
Mathematical Reasoning in Latent Space
arXiv (Cornell University)·2019· 13 citedOpen Access
Learning to Reason in Large Theories without Imitation
arXiv (Cornell University)·2019· 18 citedOpen Access
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
International Conference on Machine Learning·2019· 68 cited
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
arXiv (Cornell University)·2019· 19 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Markus N. Rabe(10), Christian Szegedy(10), Clark Barrett(8), Sarah M. Loos(7), Eric Koskinen(7), Cesare Tinelli(5), Andrew Reynolds(5), Dennis Lee(5), Stewart Wilcox(3), Omer Tripp(3), Stéphane Demri(3), Vijay Sardana(3), Bharat Bhushan(3), Dilip Maheshwari(3), Liana Hadarean(2), Dejan Jovanović(2), Thomas Wies(2), Nidhi Bansal(2), Vinay Goyal(2), Tim L. King(1)