Hello, my name is James Oswald! I am PhD student at Rensselaer Polytechnic Institute and graduate researcher with the The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory, under Professor Selmer Bringsjord. My primary research interest is in Artificial Intelligence (AI), particularly logic-first hybrid approaches to to AI through automated theorem proving (ATP), automated planning, and Large Language Models. I also have an intrest in mathematics and programming, and have recently been doing alot with interactive theorem proving.
James-Oswald
Follow
👾
life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵}
- Troy, New York, USA
-
10:21
(UTC -04:00) - https://jamesoswald.dev
- @Jozwaldus
- in/James-T-Oswald
Highlights
- Pro
Block or Report
Block or report James-Oswald
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
RAIRLab/lazyslate
RAIRLab/lazyslate PublicAn open source graphical proof construction assistant for the creation of Natural Deduction proofs.
TypeScript 3
-
RAIRLab/Peirce-My-Heart
RAIRLab/Peirce-My-Heart PublicA graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
TypeScript 8
-
Lightweight-Jar-To-Exe
Lightweight-Jar-To-Exe PublicLightweight Windows .jar to .exe converter using a Node.js script.
C 3
-
Lightweight-Textarea-Highlighter
Lightweight-Textarea-Highlighter PublicNative JS library to allow you to highlight ranges within <textarea>s
-
RAIRLab/Parallel-Verifier
RAIRLab/Parallel-Verifier PublicParallel Verification of Propositional Natural-Deduction Proof Graphs
C++ 3
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.