Papers

I am thankful for the many wonderful collaborations that have led to the publications here. A more exhaustive list is at Google Scholar.

• ParaStudent: Closing the Sim2Real Gap in User Simulators for AI Tutor Evaluation
  Rose Niousha, Mihran Miroyan, Abigail O’Neill, Joseph E Gonzalez, Gireeja Ranade, John DeNero, Narges Norouzi
  Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing
• Formally Verified AI Co-Reasoning: An Education Case Study
  Arnav Mehta, Chenjun Guo, Thomas Lu, Niels Voss, Manooshree Patel, Rayna Bhattacharyya, Peter Donovan, Gireeja Ranade
  Findings of the Association for Computational Linguistics: EMNLP 2026
• LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs
  Chenjun Guo, Manooshree Patel, Arnav Mehta, Krishiv Kothari, Thomas Lu, Niels Voss, Rayna Bhattacharyya, Peter Donovan, Bjoern Hartmann, Gireeja Ranade
  arXiv preprint arXiv:2610.00760 2026
• The Fourth Quadrant: A Stylized View of Benign Misfitting
  Gireeja Ranade, Anant Sahai
  arXiv preprint arXiv:2608.01032 2026
• Stabilizing a Linear System Using Phone Calls When Time is Information
  Mohammad Javad Khojasteh, Massimo Franceschetti, Gireeja Ranade
  IEEE Open Journal of Control Systems 2026
• LeanTutor: Towards a Verified AI Mathematical Proof Tutor
  Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade
  Proceedings of the AAAI Conference on Artificial Intelligence 2026
• Magic: Multi-agent argumentation and grammar integrated critiquer
  Joaquín Jordán, Xavier Yin, Melissa Fabros, Gireeja Ranade, Narges Norouzi
  Proceedings of the AAAI Conference on Artificial Intelligence 2026
• Bridging the gap to autoformalize free-form human reasoning
  Chenjun Guo, Manooshree Patel, Arnav Mehta, Rayna Bhattacharyya, Thomas Lu, Niels Voss, Bjoern Hartmann, JD Zamfirescu-Pereira, Sarah Chasins, Gireeja Ranade
  Plateau Workshop 2026
• A Verification-First, Self-Healing Framework for LLM-Enabled Generation of CS1 Exercises
  Aneesh Durai, Anirudh Chaudhary, Naveen Nathan, Gireeja Ranade, Narges Norouzi
  Proceedings of the 57th ACM Technical Symposium on Computer Science Education V. 2 2026
• Too Many Fairness Metrics: Is There a Solution? Equity Across Demographic Groups for the Facility Location Problem
  Swati Gupta, Akhil Jalan, Gireeja Ranade, Helen Yang, Simon Zhuang
  Data Science and Optimization 2026
• Pretraining with Masked Backstories in a Toy World
  Sultan Daniels, Dylan Davis, Gireeja Ranade, Anant Sahai
  ICLR 2026 Workshop on Scientific Methods for Understanding Deep Learning (Sci4DL)
• Emergence, pretraining loss and associative recall: a toy model
  Sultan Daniels, Dylan Davis, Dhruv Gautam, Wentinn Liao, Gireeja Ranade, Anant Sahai
  ICML 2025 Workshop on Methods and Opportunities at Small Scale (MOSS)
• Broadening Participation in CS Research with Scalable Undergraduate Research Mini-Projects
  Bridget Agyare, Manooshree Patel, Alicia Matsumoto, Gireeja Ranade
  2025 IEEE Frontiers in Education Conference (FIE)
• Control of Dynamical Systems with Multiplicative Observation Noise with Unknown Distribution Parameters
  Eric Xu, Gireeja Ranade
  2025 61st Allerton Conference on Communication, Control, and Computing Proceedings
• Askademia: A real-time AI system for automatic responses to student questions
  Meenakshi Mittal, Gaurav Tyagi, Azalea Bailey, Gireeja Ranade, Narges Norouzi
  International Conference on Artificial Intelligence in Education 2025
• Parastudent: Generating and evaluating realistic student code by teaching llms to struggle
  Mihran Miroyan, Rose Niousha, Joseph E Gonzalez, Gireeja Ranade, Narges Norouzi
  arXiv preprint arXiv:2507.12674 2025
• Modeling student knowledge progression across concepts in intelligent tutoring interactions
  Kanav Mittal, Abigail O’Neill, Hanna Schlegel, Gireeja Ranade, Narges Norouzi
  International Conference on Artificial Intelligence in Education 2025
• Decomposing Prediction Mechanisms for In-Context Recall
  Sultan Daniels, Dylan Davis, Dhruv Gautam, Wentinn Liao, Gireeja Ranade, Anant Sahai
  arXiv preprint arXiv:2507.01414 2025
• Raising the bar: Automating consistent and equitable student support with LLMs
  Meenakshi Mittal, Azalea Bailey, Victoria Phelps, Mihran Miroyan, Chancharik Mitra, Rishi Jain, Rose Niousha, Gireeja Ranade, Narges Norouzi
  Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2 2025
• Analyzing pedagogical quality and efficiency of llm responses with ta feedback to live student questions
  Mihran Miroyan, Chancharik Mitra, Rishi Jain, Gireeja Ranade, Narges Norouzi
  Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1 2025
• Unspoken logic: Understanding and bridging the gap between free-form and LLM-interpretable natural language mathematical proofs
  Chenjun Guo, Manooshree Patel, Bjoern Hartmann, JD Zamfirescu-Pereira, Sarah Chasins, Gireeja Ranade
  The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025
• Different simultaneous mechanisms for in-context recall have distinct learning dynamics
  Sultan Daniels, Dylan Davis, Dhruv Gautam, Wentinn Liao, Gireeja Ranade, Anant Sahai
  High-dimensional Learning Dynamics 2025
• Modeling Diversity Dynamics in Time-Evolving Collaboration Networks.
  Christopher Archer, Gireeja Ranade
  Symposium on Foundations of Responsible Computing (FORC) 2024
• RetLLM-E: retrieval-prompt strategy for question-answering on student discussion forums
  Chancharik Mitra, Mihran Miroyan, Rishi Jain, Vedant Kumud, Gireeja Ranade, Narges Norouzi
  Proceedings of the AAAI conference on artificial intelligence 2024
• Elevating learning experiences: leveraging large language models as student-facing assistants in discussion forums
  Chancharik Mitra, Mihran Miroyan, Rishi Jain, Vedant Kumud, Gireeja Ranade, Narges Norouzi
  Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2 2024
• Control of systems with multiplicative observation noise
  Moses Won, Gireeja Ranade
  2023 62nd IEEE Conference on Decision and Control (CDC)
• Student feedback on opt-in, inclusive, course-integrated study groups
  Bridget Agyare, Alicia Matsumoto, Manooshree Patel, Gireeja Ranade
  2023 IEEE Frontiers in Education Conference (FIE)
• Phase transitions of diversity in stochastic block model dynamics
  Simina Brânzei, Nithish Kumar, Gireeja Ranade
  2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton)
• Control of a Multiplicative Observation Noise System: MAP-based Achievable Strategy
  Moses Won, Gireeja Ranade
  2023 IEEE International Symposium on Information Theory (ISIT)
• Inclusive study group formation at scale
  Sumer Kohli*, Neelesh Ramachandran*, Ana Tudor*, Gloria Tumushabe*, Olivia Hsu, Gireeja Ranade
  Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1 2023
  *These authors contributed equally to the work
• Control for Societal-Scale Challenges: Roadmap 2030
  Andrew Alleyne, Frank Allgöwer, Aaron D Ames, Saurabh Amin, James Anderson, Anuradha M Annaswamy, Panos J Antsaklis, Neda Bagheri, Hamsa Balakrishnan, Bassam Bamieh, John Baras, Margret Bauer, Alexandre Bayen, Paul Bogdan, Steven L Brunton, Francesco Bullo, Etienne Burdet, Joel Burdick, Laurent Burlion, C Canudas de Wit, Ming Cao, Christos G Cassandras, Aranya Chakrabortty, Giacomo Como, Marie Csete, Fabrizio Dabbene, Munther Dahleh, Amritam Das, Eyal Dassau, Claudio De Persis, Mario di Bernardo, Stefano Di Cairano, DV Dimarogonas, Florian Dörfler, John C Doyle, Francis J Doyle III, Anca Dragan, Magnus Egerstedt, Johan Eker, Sarah Fay, Dimitar Filev, Angela Fontan, Elisa Franco, Masayuki Fujita, Mario Garcia-Sanz, Dennice Gayme, WPMH Heemels, João P Hespanha, Sandra Hirche, Anette Hosoi, Jonathan P How, Gabriela Hug, Marija Ilić, Hideaki Ishii, Ali Jadbabaie, Matin Jafarian, SQ-S Jia, TA Johansen, Karl H Johansson, Dalton Jones, Mustafa Khammash, Pramod Khargonekar, Mykel J Kochenderfer, Andreas Krause, Anthony Kuh, Dana Kulić, Françoise Lamnabhi-Lagarrigue, Naomi E Leonard, Frederick Leve, Na Li, Steven Low, John Lygeros, Iven Mareels, Sonia Martinez, Nikolai Matni, Tommaso Menara, Katja Mombaur, Kevin Moore, Richard Murray, Toru Namerikawa, Angelia Nedich, Sandeep Neema, Mariana Netto, Timothy O’Leary, Marcia K O’Malley, Lucy Y Pao, Antonis Papachristodoulou, George J Pappas, Philip E Paré, Thomas Parisini, Fabio Pasqualetti, Marco Pavone, Akshay Rajhans, Gireeja Ranade, Anders Rantzer, Lillian Ratliff, J Anthony Rossiter, Dorsa Sadigh, Tariq Samad, Henrik Sandberg, Sri Sarma, Luca Schenato, Jacquelien Scherpen, Angela Schoellig, Rodolphe Sepulchre, Jeff Shamma, Robert Shorten, Bruno Sinopoli, Koushil Sreenath, Jakob Stoustrup, Jing Sun, Paulo Tabuada, Emma Tegling, Dawn Tilbury, Claire J Tomlin, Jana Tumova, Kevin Wise, Dan Work, Junaid Zafar, Melanie Zeilinger
  IEEE Control Systems Society Publication 2023
• Control education for societal-scale challenges: A community roadmap
  John Anthony Rossiter, Christos G Cassandras, João Hespanha, Sebastian Dormido, Luis de la Torre, Gireeja Ranade, Antonio Visioli, John Hedengren, Richard M Murray, Panos Antsaklis, Francoise Lamnabhi-Lagarrigue, Thomas Parisini
  Annual Reviews in Control 2023
• Exact minimum number of bits to stabilize a linear system
  Victoria Kostina, Yuval Peres, Gireeja Ranade, Mark Sellke
  IEEE Transactions on Automatic Control 2021
• Stabilizability of vector systems with uniform actuation unpredictability
  Rahul Arya, Chih-Yuan Chiu, Gireeja Ranade
  2021 IEEE International Symposium on Information Theory (ISIT)
• Stabilizing a system with an unbounded random gain using only finitely many bits
  Victoria Kostina, Yuval Peres, Gireeja Ranade, Mark Sellke
  IEEE Transactions on Information Theory 2021
• Computing value of spatiotemporal information
  Heba Aly, John Krumm, Gireeja Ranade, Eric Horvitz
  Communications of the ACM 2020
• Learning a neural-network controller for a multiplicative observation noise system
  Vignesh Subramanian, Moses Won, Gireeja Ranade
  2020 IEEE International Symposium on Information Theory (ISIT)
• Characterizing search-engine traffic to internet research agency web properties
  Alexander Spangher, Gireeja Ranade, Besmira Nushi, Adam Fourney, Eric Horvitz
  Proceedings of The Web Conference 2020
• Communication cost of consensus for nodes with limited memory
  Giulia Fanti, Nina Holden, Yuval Peres, Gireeja Ranade
  Proceedings of the National Academy of Sciences 2020
• To buy or not to buy: Computing value of spatiotemporal information
  Heba Aly, John Krumm, Gireeja Ranade, Eric Horvitz
  ACM Transactions on Spatial Algorithms and Systems (TSAS) 2019
• When multiplicative noise stymies control
  Jian Ding, Yuval Peres, Gireeja Ranade, Alex Zhai
  The Annals of Applied Probability 2019
• Low-cost aerial imaging for small holder farmers
  Aditya Jain, Zerina Kapetanovic, Akshit Kumar, Vasuki Narasimha Swamy, Rohit Patil, Deepak Vasisht, Rahul Sharma, Manohar Swaminathan, Ranveer Chandra, Anirudh Badam, Gireeja Ranade, Sudipta Sinha, Akshay Uttama Nambi S N
  ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS) 2019
• YouTube chatter: Understanding online comments discourse on misinformative and political YouTube videos
  Aarash Heydari, Janny Zhang, Shaan Appel, Xinyi Wu, Gireeja Ranade
  arXiv preprint arXiv:1907.00435 2019
• Stabilizing a linear system using phone calls
  Mohammad Javad Khojasteh, Massimo Franceschetti, Gireeja Ranade
  2019 18th European Control Conference (ECC)
• Wireless channel dynamics and robustness for ultra-reliable low-latency communications
  Vasuki Narasimha Swamy, Paul Rigge, Gireeja Ranade, Borivoje Nikolić, Anant Sahai
  IEEE Journal on Selected Areas in Communications 2019
• Estimating a linear process using phone calls
  MJ Khojasteh, M Franceschetti, Gireeja Ranade
  2018 IEEE Conference on Decision and Control (CDC)
• Data-driven planning via imitation learning
  Sanjiban Choudhury, Mohak Bhardwaj, Sankalp Arora, Ashish Kapoor, Gireeja Ranade, Sebastian Scherer, Debadeepta Dey
  The International Journal of Robotics Research 2018
• On the value of spatiotemporal information: Principles and scenarios
  H Aly, J Krumm, Gireeja Ranade, E Horvitz
  Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances  2018
• Analysis of Strategy and Spread of Russia-sponsored Content in the US in 2017
  A Spangher, Gireeja Ranade, B Nushi, A Fourney, E Horvitz
  arXiv preprint arXiv:1810.10033 2018
• Characterizing the Internet Research Agency’s social media operations during the 2016 US presidential election using linguistic analyses
  Ryan Boyd, Alexander Spangher, Adam Fourney, Besmira Nushi, Gireeja Ranade, James Pennebaker, Eric Horvitz
  PsyArXiv preprint 2018
• Control capacity
  Gireeja Ranade, Anant Sahai
  IEEE Transactions on Information Theory 2018
• Predicting wireless channels for ultra-reliable low-latency communications
  VN Swamy, P Rigge, Gireeja Ranade, B Nikolic, Anant Sahai
  2018 IEEE International Symposium on Information Theory (ISIT)
• Verifying controllers against adversarial examples with bayesian optimization
  S Ghosh, F Berkenkamp, Gireeja Ranade, S Qadeer, A Kapoor
  IEEE International Conference on Robotics and Automation (ICRA) 2018
• The role of information patterns in designing crowdsourcing contests
  GV Ranade, LR Varshney
  Creating and capturing value through crowdsourcing 2018
• Exact minimum number of bits to stabilize a linear system
  Victoria Kostina, Yuval Peres, Gireeja Ranade and Mark Sellke
  IEEE CDC 2018
• Stabilizing a system with unbounded random gain using only a finite number of bits
  Victoria Kostina, Yuval Peres, Gireeja Ranade and Mark Sellke
  IEEE ISIT 2018
• Geographic and Temporal Trends in Fake News Consumption During the 2016 US Presidential Election.
  Adam Fourney*, Miklos Z. Racz*, Gireeja Ranade*, Markus Mobius, Eric Horvitz
  ACM International Conference on Information and Knowledge Management (CIKM) 2017
  *These authors contributed equally to the work
• Real-time cooperative communication for automation over wireless
  VN Swamy, S Suri, P Rigge, M Weiner, Gireeja Ranade, Anant Sahai, B Nikolić
  IEEE Transactions on Wireless Communications 2017
• No-regret replanning under uncertainty
  W Sun, N Sood, D Dey, Gireeja Ranade, S Prakash, A Kapoor
  IEEE International Conference on Robotics and Automation (ICRA) 2017
• Learning to gather information via imitation
  S Choudhury, A Kapoor, Gireeja Ranade, D Dey
  IEEE International Conference on Robotics and Automation (ICRA) 2017
• Adaptive Information Gathering via Imitation Learning
  Sanjiban Choudhury, Ashish Kapoor, Gireeja Ranade, Sebastian Scherer, Debadeepta Dey
  RSS 2017
• Control with actuation anticipation
  E Hariyoshi, Gireeja Ranade, Anant Sahai
  2016 IEEE 55th Conference on Decision and Control (CDC)
• Finite block length coding for low-latency high-reliability wireless communication
  L Dickstein, VN Swamy, Gireeja Ranade, Anant Sahai
  2016 54th Annual Allerton Conference on Communication, Control, and 
• Rate-limited control of systems with uncertain gain
  V Kostina, Y Peres, MZ Rácz, Gireeja Ranade
  2016 54th Annual Allerton Conference on Communication, Control, and 
• Projector: Agile reconfigurable data center interconnect
  Monia Ghobadi, Ratul Mahajan, Amar Phanishayee, Nikhil Devanur, Janardhan Kulkarni, Gireeja Ranade, Pierre-Alexandre Blanche, Houman Rastegarfar, Madeleine Glick, Daniel Kilper
  Proceedings of the 2016 ACM SIGCOMM Conference
• Robustness of cooperative communication schemes to channel models
  VN Swamy, Gireeja Ranade, Anant Sahai
  2016 IEEE International Symposium on Information Theory (ISIT)
• A tiger by the tail: When multiplicative noise stymies control
  J Ding, Y Peres, Gireeja Ranade
  2016 IEEE International Symposium on Information Theory (ISIT)
• Systems and methods for model-based estimation of cardiac output and total peripheral resistance
  TA Parlikar, GV Ranade, T Heldt, GC Verghese
  US Patent 9,375,160
• Network coding for high-reliability low-latency wireless control
  VN Swamy, P Rigge, Gireeja Ranade, Anant Sahai, B Nikolić
  2016 IEEE Wireless Communications and Networking Conference Workshops (WCNCW 
• Control with side information
  Gireeja Ranade, Anant Sahai
  2016 Indian Control Conference (ICC)
• Vector control systems with unpredictable actuation
  E Hariyoshi, Gireeja Ranade, Anant Sahai
  2015 53rd Annual Allerton Conference on Communication, Control, and 
• Cooperative communication for high-reliability low-latency wireless control
  VN Swamy, S Suri, P Rigge, M Weiner, Gireeja Ranade, Anant Sahai, B Nikolić
  2015 IEEE International Conference on Communications (ICC)
• Control Capacity
  Gireeja Ranade and Anant Sahai
  IEEE International Symposium on Information Theory (ISIT) 2015
• Side-information in control and estimation
  G Ramnarayan, Gireeja Ranade, Anant Sahai
  2014 IEEE International Symposium on Information Theory
• Active systems with uncertain parameters: an information-theoretic perspective
  GV Ranade
  PhD dissertation, UC Berkeley 2014
• Non-coherence in estimation and control
  Gireeja Ranade, Anant Sahai
  2013 51st Annual Allerton Conference on Communication, Control, and 
• Systems and methods for model-based estimation of cardiac output and total peripheral resistance
  TA Parlikar, GV Ranade, T Heldt, GC Verghese
  US Patent 8,282,564
• Comments on unknown channels
  K Woyach, K Harrison, Gireeja Ranade, Anant Sahai
  2012 IEEE Information Theory Workshop
• Carry-free models and beyond
  SY Park, Gireeja Ranade, Anant Sahai
  2012 IEEE International Symposium on Information Theory Proceedings
• To crowdsource or not to crowdsource?
  Gireeja Ranade, LR Varshney
  4th Human Computation Workshop (HCOMP), AAAI 2012
• Implicit communication in multiple-access settings
  Gireeja Ranade, Anant Sahai
  2011 IEEE International Symposium on Information Theory Proceedings
• Cortical representation of ipsilateral arm movements in monkey and man
  K Ganguly, L Secundo, Gireeja Ranade, A Orsborn, EF Chang, DF Dimitrov, et al.
  The Journal of Neuroscience 2009
• Information in the Local Field Potential: Implications for Brain-Machine Interfaces
  Gireeja Ranade
  Master's thesis, UC Berkeley 2009
• LFP beta power predicts cursor stationarity in BMI task
  GV Ranade, K Ganguly, J Carmena
  2009 4th International IEEE/EMBS Conference on Neural Engineering
• Dynamic Fractional Frequency Reuse in OFDMA systems
  K Harrison, Gireeja Ranade
  IEEE INFOCOM 2008
• Model-based estimation of cardiac output and total peripheral resistance
  TA Parlikar, T Heldt, GV Ranade, GC Verghese
  2007 Computers in Cardiology