TLAPS-Bench is a new benchmark of 265 real-world TLA+ proof targets. It reports a 44.3% pass@3 rate and 46 bugs found. Paper arXiv:2611.02849 released. Code available.
Key points
Benchmark: 265 real-world TLA+ proof targets
Results: 44.3% pass@3 and 46 bugs found
Sources
Agniveer salary reforms – ₹21,000 hand, previous ₹38-42k gross
Agniveer salaries need reforms; a soldier receives ₹21,000 in hand. Regular recruits previously earned ₹38,000-₹42,000 gross.
Key points
Soldier net pay: ₹21,000 per month.
Prior gross pay for regular recruits: ₹38,000-₹42,000.
Daily wage for daily-wage labourers in tier-3 towns: around ₹700.