Ranald Clouston 교수 연구 프로필
호주국립대학교 · 컴퓨터학부
소개
호주국립대학교 컴퓨터학부 소속 Ranald Clouston 교수의 등록된 연구 분야는 logics, type systems, recursively defined infinite structures, formal mathematics, formal verification입니다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, Reasoning, and Knowledge
Mrinmaya Sachan 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Do LLMs Exhibit Coherent Knowledge Structures in Mathematical Reasoning? A Perspective from Knowledge Space Theory프리프린트arXiv (Cornell University) · 9월 4일말리페디 람모한 교수 연구실
경북대학교 · 전기전자공학과
When Planning Problems Become Hard for LLMs: Separating Structural Complexity from Semantic Interpretability새 논문프리프린트arXiv (Cornell University) · 10월 18일ChengXiang Zhai 교수 연구실
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
Competence-Based Evaluation of Logical Reasoning in Large Language Models새 논문프리프린트arXiv (Cornell University) · 10월 16일
같은 학과의 다른 연구실
- Alberto F. Martin 교수 연구실
high performance scientific computing, partial differential equations, finite elements, parallel preconditioning, scientific machine learning, GPU computing
- Alex Potanin 교수 연구실
programming language design, software verification, cyber security, trustworthy systems, quantum computing, software engineering
- Alwen Tiu 교수 연구실
formal methods, computational logic, automated theorem proving, computer security
- Amanda Barnard 교수 연구실
applied machine learning, artificial intelligence, data science, high performance computing, computational methods for physical sciences, materials, nanotechnology
- Antony Hosking 교수 연구실
programming languages, software systems, object persistence, database systems, memory management, garbage collection, managed language runtimes, optimizing compilers, software assurance
- Ben Swift 교수 연구실
computational art and music, data visualization, data science, human-computer interaction, machine learning