Tomasz Odrzyg'o'zd'z

Artificial Intelligence · 2022–2024

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 12 citations into it

Whom Tomasz Odrzyg'o'zd'z trusts

Their strongest outbound trust, strongest first, inferred from their citations.

1. Stanislas Polu (in Artificial Intelligence)

Papers from Tomasz Odrzyg'o'zd'z's perspective

Ordered by how strongly the researchers Tomasz Odrzyg'o'zd'z trusts endorse each paper. Same corpus, a different order for every researcher.

1. Attention is All you Need (Neural Information Processing Systems)
2. Language Models are Unsupervised Multitask Learners
3. Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
4. Generative Language Modeling for Automated Theorem Proving
5. Premise Selection for Theorem Proving by Deep Graph Embedding
6. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
7. The Pile: An 800GB Dataset of Diverse Text for Language Modeling
8. RoFormer: Enhanced Transformer with Rotary Position Embedding
9. Proof Artifact Co-training for Theorem Proving with Language Models
10. seL4: formal verification of an OS kernel

Their papers

• Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers (2022) — 144 citations
• Scaling Laws for Fine-Grained Mixture of Experts (2024)