Tag: proofs

All the articles with the tag "proofs".

• 2024-09-06 Weekly Update - Structured outputs for LLMs and proving the binomal theorem

  5 Sep, 2024

  Sabbatial Week 10 - structured outputs for LLMs and proving the binomial theorem

• 2024-08-30 Weekly Update - Web scrapting and prompt engineering

  29 Aug, 2024

  Sabbatical Week 8 - some web scraping and prompt engineering

• 2024-08-23 Weekly Update - More math proofs, LeetCode, DuckDB, and networking

  22 Aug, 2024

  Sabbatical Week 7 - Some in-person events plus more proofs, LeetCode, and DuckDB

• 2024-08-16 Weekly Update - math proofs, LeetCode, DuckDB, and networking

  15 Aug, 2024

  Week 6 of my sabbatical - math proofs, LeetCode, DuckDB, and networking