Kumar Madhukar

Employment

• Indian Institute of Technology Delhi

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (4)

• PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution)
  2025 DOI: 10.1007/978-3-031-90660-2_19
  +Save
• Learning DNN Abstractions using Gradient Descent
  2024 DOI: 10.1145/3691620.3695303
  +Save
• PROTON: PRObes for Termination Or Not (Competition Contribution)
  2024 DOI: 10.1007/978-3-031-57256-2_27
  +Save
• Unifying Syntactic and Semantic Abstractions for Deep Neural Networks
  2024 DOI: 10.1007/978-3-031-68150-9_12
  +Save