Swarat Chaudhuri

A new method enhances RL agents' learning through structured rewards.

A new method enhances symbolic regression using language models for better data analysis.

C3 combines learning and verification to improve network congestion management.