v0.0.8

What's Changed

• Add confidence scores for output sequences by @Peiyang-Song in #12
• Add LLM-generated Scores by @yangky11 in #13
• LLM-aesop by @yangky11 in #14
• chore: bump lean-toolchain to v4.2.0-rc4 by @semorrison in #15
• Update Basic.lean by @pitmonticone in #16
• CT2 backend, Aesop, etc. by @yangky11 in #17
• Bug fixes: Make check effective & ban aesop by @Peiyang-Song in #18
• minor change by @yangky11 in #19

New Contributors

• @Peiyang-Song made their first contribution in #12
• @semorrison made their first contribution in #15
• @pitmonticone made their first contribution in #16

Full Changelog: v0.0.7...v0.0.8