math
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Prompting to get better simple algebra results |
|
1 | 50 | August 9, 2024 |
| Verification of the first order logic rules for quantification |
|
1 | 27 | July 29, 2024 |
| Occam - LLMs and verification |
|
2 | 680 | April 19, 2024 |
| Looking to understand how cognitive strategies are employed in AI |
|
5 | 519 | February 28, 2024 |