this data can be acquired through RL from proof-assistant feedback https://t.co/NLujYG4FIm

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Software

View Post: https://x.com/davidad/status/1846283294704325073