Aravind Mandiga
PhD Student in Computer Science · University of Georgia
I research how to build reliable large language model systems through grounding, verification, robustness, and learning.
Publications
2026
-
How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation
NeurIPS 2026 Workshop on AI for Verifiable Coding (VeriCodegen)
-
Paraphrase-Induced Retrieval Instability: Systematic Measurement and the Limits of Inference-Time Mitigation
UncertaiNLP Workshop at EMNLP 2026
-
A Non-Visual Baseline for Multi-View Visual Question Answering on GoldenViewVQA
GroundLM 2026 Shared Tasks (GoldenViewVQA), Workshop on Grounding Language Models at EMNLP 2026
-
ProtStructQA: A Denotation Threshold in Protein Structural Reasoning
arXiv preprint arXiv:2606.00451
-
NutriCHAT: A Reasoning-Driven Large Language Model Agent with Expert-Designed Tools for Knowledge-Grounded Poultry Nutrition Assistance
Computers and Electronics in Agriculture 245, 111564
-
Early Prediction of Broiler Gait Scores Using Spatiotemporal Kinematic Tracking and Explainable Machine Learning Features
Computers and Electronics in Agriculture 247, 111651
-
A Novel Three-Dimensional Deep Learning Approach for Auditing Gait Scores of Individual Broiler Chickens
Journal of Big Data 13 (1), 66
-
Spatiotemporal Video Encoders and Zero-Shot Segmentation for 3D Action Recognition and Behavior Analysis of Broiler Chickens Associated with Different Welfare Indicators and Body Weight
Computers and Electronics in Agriculture 241, 111305
-
Zero-Shot Perception and Spatiotemporal Transformers for Automated Gait and Footpad Score Classification
World Congress in Computer Science, Computer Engineering & Applied Computing (CSCE), Communications in Computer and Information Science, Springer
2025
-
Autonomous Navigation of a Quadruped Robot to Approach Floor Eggs and Path Optimization Analysis for Commercial Feasibility
Applied Engineering in Agriculture 41 (6), 733–747
-
Enhancing Consistency and Efficiency of Tracking Multiple Individual Broiler Chickens in Group Settings
Smart Agricultural Technology, 101408
-
Integration and Evaluation of a Low-Cost Intelligent System and Its Parameters for Monitoring Three-Dimensional Features of Broiler Chickens
Computers and Electronics in Agriculture 237, 110553
2024
-
Quantifying Nesting Behavior Metrics of Broiler Breeder Hens with Computationally Efficient Image Processing Algorithms and Big Data Analytics
AgriEngineering 6 (4), 3672–3685