Top
New
🔦
burakemir
joined 5/5/2018, 7:51 PM has 547 karma
POSTS
Faithful Logical Reasoning via Symbolic Chain-of-Thought
by
burakemir
on 6/3/2024, 2:49 AM with
0
comments
Burak's Mangle Talk for RelationalAI
by
burakemir
on 5/12/2023, 8:09 PM with
0
comments
Current architectural best practices for LLM applications
by
burakemir
on 4/27/2023, 9:13 PM with
24
comments
Rust Security Advisory Database
by
burakemir
on 3/28/2023, 9:47 PM with
0
comments
Open-source high-performance RISC-V processor
by
burakemir
on 3/26/2023, 10:32 AM with
109
comments
Cyber Ontology Stamp Collection
by
burakemir
on 9/11/2022, 5:09 PM with
0
comments
Dart: Patterns Feature Specification (in progress proposal)
by
burakemir
on 3/4/2022, 8:36 PM with
0
comments
Bringing free retail listings to Google Search
by
burakemir
on 6/29/2020, 3:10 PM with
0
comments
Intuitionistic propositional logic and natural deduction
by
burakemir
on 5/31/2020, 12:04 AM with
1
comments
Higher-order logic and equality; multiple ways to use lambda calculus for logic
by
burakemir
on 4/3/2020, 9:17 AM with
25
comments
Epidemiology multi-agent model in NetLOGO
by
burakemir
on 3/16/2020, 1:25 AM with
0
comments
Philosophers should talk more about climate change. Yes, philosophers
by
burakemir
on 2/9/2020, 7:46 AM with
1
comments
Dfinity Canister SDK and Motoko
by
burakemir
on 11/2/2019, 10:34 PM with
0
comments