20 citations · 20 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SP2023★ 20 cited
IndoorGNN: A Graph Neural Network based approach for Indoor Localization using WiFi RSSI
Rahul Vishwakarma, Rucha Bhalchandra Joshi, Subhankar Mishra
Indoor localization is the process of determining the location of a person or object inside a building. Potential usage of indoor localization includes navigation, personalization,…
cs.AI2023
Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
Rahul Vishwakarma, Subhankar Mishra
Theorem proving is a fundamental task in mathematics. With the advent of large language models (LLMs) and interactive theorem provers (ITPs) like Lean, there has been growing inter…