177 karma · joined September 8, 2024
TLAiBench[0]: A dataset and benchmark suite for evaluating Large Language Models (LLMs) on TLA+ formal specification tasks, featuring logic puzzles and real-world scenarios.
[0]: https://en.wikipedia.org/wiki/ZoneAlarm
[1]: https://d2nwkt1g6n1fev.cloudfront.net/helpmax/wp-content/upl...
[0]: https://www.citadelsecurities.com/wp-content/uploads/sites/2...
[0]: https://www.astonmartin.com/en-us/our-world/brand-stories/as...
[0]: https://en.wikipedia.org/wiki/Frank_Wilhoit_(composer)
[1]: https://en.wikipedia.org/wiki/Francis_M._Wilhoit#Misattribut...
MIT Press: https://mitpress.mit.edu/9780262553483/readme/
Amazon: https://www.amazon.com/README-Computing-Electronic-Everythin...
[0]: https://github.com/IUCompilerCourse/Essentials-of-Compilatio...