https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 13:00:03 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/10/26-readings_shared_10-25-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 25 October 2025 are:</p> <ul> <li><a href="https://youtu.be/Ko-PzGlzYrc">Gauss: towards autoformalization for the working mathematician</a>. ~ Jared Duker Lichtman, Jesse Han. #AI #Math #Autoformalization #LLM #ITP #LeanProver</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/01-Introduction.pdf">Course "Artificial Intelligence": 1. Introduction to AI</a>. ~ Deepak Kumar. #AI #History</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/02-Introduction.pdf">Course "Artificial Intelligence": 2. Introduction to AI</a>. ~ Deepak Kumar. #AI #History</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/03-SHRDLU-SHAKEY.pdf">Course "Artificial Intelligence": 3. Two early examples of AI systems: SHRDLU and SHAKEY</a>. ~ Deepak Kumar. #AI #History</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/04-ProblemSolvingSearch.pdf">Course "Artificial Intelligence": 4. Problem solving as search</a>. ~ Deepak Kumar. #AI #History</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/05-GamePlaying.pdf">Course "Artificial Intelligence": 5. Game playing</a>. ~ Deepak Kumar. #AI</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/06-ExpertSystems.pdf">Course "Artificial Intelligence": 6. Expert systems</a>. ~ Deepak Kumar. #AI</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/07-Logic.pdf">Course "Artificial Intelligence": 7. Representing knowledge using logic</a>. ~ Deepak Kumar. #AI #Logic #KRR</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/08-LogicInPROLOG.pdf">Course "Artificial Intelligence": 8. Logic in Prolog</a>. ~ Deepak Kumar. #AI #Logic #KRR</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/09-KowledgeRepresentations.pdf">Course "Artificial Intelligence": 9. Other knowledge representation formalisms: frames, conceptual dependency, semantic networks</a>. ~ Deepak Kumar. #AI #KRR</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/10-RobotsAndRationality.pdf">Course "Artificial Intelligence": 10. Robots and rationality. Subsumption architectures. Agent-based AI. IBM's Watson. Second AI winter</a>. ~ Deepak Kumar. #AI</li> <li><a href="https://cs.brynmawr.edu/Courses/cs373/Fall2025/Slides/11-SubsymbolicAI.pdf">Course "Artificial Intelligence": 11. Subsymbolic AI. McCulloch-Pitts neuron. The Perceptron. Example implementation</a>. ~ Deepak Kumar. #AI</li> </ul>AIAutoformalizationHistoryITPKRRLeanProverLLMLogicMathhttps://jaalonso.github.io/vestigium/posts/2025/10/26-readings_shared_10-25-25/Sun, 26 Oct 2025 04:00:00 GMT