anishathalye
- Karma
- 3,262
- Created
- 11 years ago
About
anishathalye.comphd student @ mit, interested in systems, verification, security, and AI
[ my public key: https://keybase.io/anish; my proof: https://keybase.io/anish/sigs/YRVEA6S72qWpNVsXVWiRPESWpq8XLK2F-dqajqGbjQ8 ]
Recent Submissions
- 1. ▲ Show HN: Semlib – Semantic Data Processing (github.com)
- 2. ▲ Semlib: LLM-Powered Data Processing (anishathalye.com)
- 3. ▲ Linearizability testing S2 with deterministic simulation (s2.dev)
- 4. ▲ Sleep-Time Compute: Beyond Inference Scaling at Test-Time (arxiv.org)
- 5. ▲ Co-Adapting Human Interfaces and LMs (jessylin.com)
- 6. ▲ Overcoming Hallucinations with the Trustworthy Language Model (cleanlab.ai)
- 7. ▲ Automated Data Quality at Scale (cleanlab.ai)
- 8. ▲ Fine-Tuning OpenAI Language Models with Noisily Labeled Data (kdnuggets.com)
- 9. ▲ Compromising Garmin Sport Watches: A Deep Dive into GarminOS and Its MonkeyC VM (anvilsecure.com)
- 10. ▲ CleanVision: Audit Your Image Data for Better Computer Vision (cleanlab.ai)