#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Dec 11, 2024 - 36:07

GitHub の Issue を読んでバグを直すエーアイについて森田が読みました。

#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise

Dec 4, 2024 - 54:05

Rust を Linux カーネルへで使う取り組みの進捗を向井がウォッチしました。

#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL

Nov 13, 2024 - 36:55

#139: NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis

Oct 2, 2024 - 38:00

写真を集めてシーンをレンダリングするニューラルネットを森田が読みました。

#138: Distilling the Knowledge in a Neural Network

Sep 11, 2024 - 23:38

#137: Optimal Quantile Approximation in Streams

Aug 13, 2024 - 27:32

#136: Distinct Elements in Streams: An Algorithm for the (Text) Book

Aug 7, 2024 - 25:58

学部生にも実装できるストリームの要素カウントアルゴリズムを向井が試しました。

#135: In-Datacenter Performance Analysis of a Tensor Processing Unit

Jul 2, 2024 - 44:18