Nothing Special   »   [go: up one dir, main page]
Skip to content
View James-Oswald's full-sized avatar
👾
life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵}
👾
life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵}
74 followers · 126 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@RAIRLab @NARS-team @UAlbany-IEEE-Student-Branch

Block or report James-Oswald

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
James-Oswald/README.md

Hello World!

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.

Codewars

Pinned Loading

  1. RAIRLab/lazyslate RAIRLab/lazyslate Public

    An open source graphical proof construction assistant for the creation of Natural Deduction proofs.

    TypeScript 16

  2. RAIRLab/Peirce-My-Heart RAIRLab/Peirce-My-Heart Public

    A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

    TypeScript 11

  3. Lightweight-Jar-To-Exe Lightweight-Jar-To-Exe Public

    Lightweight Windows .jar to .exe converter using a Node.js script.

    C 3

  4. Lightweight-Textarea-Highlighter Lightweight-Textarea-Highlighter Public

    Native JS library to allow you to highlight ranges within <textarea>s

    JavaScript 6 2

  5. RAIRLab/Parallel-Verifier RAIRLab/Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    C++ 3

  6. IBM/NL2PDDL IBM/NL2PDDL Public

    this is for fun, ain't it grand!

    Python 12 2