Miłoś, Piotr

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

Jiang, A. Q., Li, W., Tworkowski, S., Czechowski, K., Odrzygóźdź, T., Miłoś, P., Wu, Y., & Jamnik, M. (2022) · arXiv

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 23

Catalytic Role Of Noise And Necessity Of Inductive Biases In The Emergence Of Compositional Communication

Kuciński, Ł., Korbak, T., Kołodziej, P., & Miłoś, P. (2021) · arXiv

Language and cultural evolutionGame Theory and Applications

Cited by 23

What Drives Interactive Improvement from Feedback?

Cupiał, B., Łojek, J., Garstecki, M., Pobłocki, S., Ziarko, A., & Miłoś, P. (2026) · arXiv

Natural Language Processing TechniquesIntelligent Tutoring Systems and Adaptive Learning

Cited by 0