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

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

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

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

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

Google SQL の新しい文法を森田が紹介しました。

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

LLM にひっかけ算数問題を出してみる話を向井が読みました。

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

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

#138: Distilling the Knowledge in a Neural Network

大きなモデルから小さなモデルを作るテクニックを向井が回願しました。

#137: Optimal Quantile Approximation in Streams

ストリームにパーセンタイルを計算したい森田が教科書を読みました。

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

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