16 citations · 25 across the 11 of their papers we have counts for
15 papers
FreeEvolve: Learning to Evolve Beyond Fixed Loops
Lecheng Kong, Like Hui, Nikos Kanakaris +3
Agent evolvers automate the design of the prompts, skills and workflows around language model agents, yet the optimization process they follow is still designed by hand: a fixed se…
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
Prithwish Jana, Viet Bach Hoang, Logan Luna +9
Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verification. Despite rapid progress, re…
MILO: Automated Harness Discovery via Orchestrated Multi-Agent Evolution
Prithwish Jana, Mononito Goswami, Hao Liu +9
Modern agentic systems combine an AI model with a harness that controls execution and environmental interactions. Harness design strongly affects long-horizon performance, yet its…
Hermes: Learning Contextual Reasoning Unlocks Test-Time Scaling
Xinyu Li, Mononito Goswami, Hao Liu +5
Test-time scaling improves model performance by allocating additional compute during inference. Using this compute effectively across multiple context windows requires deciding how…
TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
Prithwish Jana, Sam Davidson, Bhavana Bhasker +3
Automating Infrastructure-as-Code (IaC) is challenging, and large language models (LLMs) often produce incorrect configurations from natural language (NL). We present TerraFormer,…
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi +3
Translating human-written mathematical theorems and proofs from natural language (NL) into formal languages (FLs) like Lean 4 has long been a significant challenge for AI. Most sta…
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana +4
Large language models (LLMs) have achieved impressive proficiency on logic and programming tasks, often rivaling expert-level performance. However, generating functionally correct…
RLSF: Fine-tuning LLMs via Symbolic Feedback
Piyush Jha, Prithwish Jana, Pranavkrishna Suresh +2
Large Language Models (LLMs) have transformed AI but often struggle with tasks that require domain-specific reasoning and logical alignment. Traditional fine-tuning methods do not…
CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
Prithwish Jana, Piyush Jha, Haoyang Ju +3
In this paper, we present an LLM-based code translation method and an associated tool called CoTran, that translates whole-programs from one high-level programming language to anot…
Reducing Opinion Echo-Chambers by Intelligent Placement of Moderate-Minded Agents
Prithwish Jana, Romit Roy Choudhury, Niloy Ganguly
In the era of social media, people frequently share their own opinions online on various issues and also in the way, get exposed to others' opinions. Be it for selective exposure o…
Scheduling Virtual Conferences Fairly: Achieving Equitable Participant and Speaker Satisfaction
Gourab K. Patro, Prithwish Jana, Abhijnan Chakraborty +2
Recently, almost all conferences have moved to virtual mode due to the pandemic-induced restrictions on travel and social gathering. Contrary to in-person conferences, virtual conf…
Recent Trends in 2D Object Detection and Applications in Video Event Recognition
Prithwish Jana, Partha Pratim Mohanta
Object detection serves as a significant step in improving performance of complex downstream computer vision tasks. It has been extensively studied for many years now and current s…
AutoDrone: Shortest Optimized Obstacle-Free Path Planning for Autonomous Drones
Prithwish Jana, Debasish Jana
With technological advancement, drone has emerged as unmanned aerial vehicle that can be controlled by humans to fly or reach a destination. This may be autonomous as well, where t…
Unsupervised Action Localization Crop in Video Retargeting for 3D ConvNets
Prithwish Jana, Swarnabja Bhaumik, Partha Pratim Mohanta
Untrimmed videos on social media or those captured by robots and surveillance cameras are of varied aspect ratios. However, 3D CNNs usually require as input a square-shaped video,…
Event and Activity Recognition in Video Surveillance for Cyber-Physical Systems
Swarnabja Bhaumik, Prithwish Jana, Partha Pratim Mohanta
This chapter aims to aid the development of Cyber-Physical Systems (CPS) in automated understanding of events and activities in various applications of video-surveillance. These ev…