From github.io

Readings shared September 20, 2025

1 1

The readings shared in Bluesky on 20 September 2025 are: Everything you know is wrong. ~ Lawrence Paulson. #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification An introdu

#ai #atp #itp #math #logic #leanprover #logicprogramming #formalverification #functionalprogramming

2h ago

From trom.tf

Algebraic theories

1 1

This is an introductory talk on algebraic theories, which are a categorical way of doing universal algebra. I discuss the history of the topic and give some of the universal algebra background need...

#math #logic #algebra #lecture #mathematics

8h ago

From trom.tf

My Hawai'ian Earring (SUMS Math Talk)

1 1

This is a talk I gave for the Society for Undergraduate Math Students at the University of Rochester in the spring of 2021. In 2018 I was invited to a conference on universal algebra and lattice th...

#math #logic #algebra #lecture #mathematics

8h ago

From trom.tf

Multiplayer rock-paper-scissors (Charlotte Aten at BUGCAT 2020)

1 1

This is my talk at Binghamton University's annual BUGCAT conference for 2020. I discuss some of my recently-published work on versions of the game rock-paper-scissors which allow for many simultane...

#math #logic #algebra #lecture #mathematics

9h ago

From github.com

ADA511/code/findP.R at master · pglpm/ADA511

1 1

Material for course ADA511 at HVL. Contribute to pglpm/ADA511 development by creating an account on GitHub.

#logic #rstats #probability

21h ago

From arxiv.org

Logical Reasoning in Large Language Models: A Survey

1 2

With the emergence of advanced reasoning models like OpenAI o3 and DeepSeek-R1, large language models (LLMs) have demonstrated remarkable reasoning capabilities. However, their ability to perform rigorous logical reasoning remains an open question. This survey synthesizes recent advancements in...

#LLMs #logic #reasoning

on Feb 14