Activities ▸ Logical Reasoning Unit
We study computational models that can effectively handle complex logical questions.
Members
- Gao Bowen (Unit leader)
- Shotaro Kitamura
- Naoya Inoue
Meetings Log
Meeting Date | Presenter | Long Report |
|---|---|---|
2023/11/29 | Shotaro Kitamura | StrategyQA decomposition reviews |
2023/11/22 | Gao Bowen | Verification Mechanism for Multistep Reasoning Task |
2023/11/15 | Shotaro Kitamura | some analysis for some StrategyQA examples |
2023/11/08 | Gao Bowen | Research about entailment tree |
2023/11/01 | Shotaro KitamuraGao Bowen | Bowen: Deal with Beam search Kitamura: Found an interesting example in StrategyQA |
2023/10/11 | Gao Bowen | Paper Reading: MathPrompter |
2023/10/04 | Gao Bowen | Algorithm of Bowen’s research |
2023/09/20 | Shotaro Kitamura | Kitamura san’s research proposal: |
2023/09/13 | Gao Bowen | Midterm presentation practive by Bowen |
2023/09/06 | Shotaro Kitamura | Some notes about KQA Pro |
2023/08/23 | Gao BowenShotaro Kitamura | Paper Sharing |
2023/08/09 | Shotaro Kitamura | |
2023/08/02 | Gao BowenShotaro Kitamura | No Long Report |
2023/07/19 | Gao Bowen | No Long Report |
2023/07/12 | Gao BowenShotaro Kitamura | No Long Report |
2023/07/05 | Shotaro Kitamura | Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought |
2023/06/28 | Shotaro Kitamura | No Long Report |
2023/06/14 | Gao Bowen | Long Report |
2023/06/07 | Shotaro Kitamura | “Translating Embeddings for Modeling Multi-relational Data” and “A comprehensive overview of knowledge graph completion” |
2023/05/31 | Naoya Inoue | “Instruct2Act: Mapping Multi-modality Instructions to Robotic Actions with Large Language Model” and “ProgPrompt: Generating Situated Robot Task Plans using Large Language Models” |
2023/05/24 | Shotaro Kitamura | Long Report |
2023/05/10 | Gao BowenShotaro Kitamura | |
2023/04/19 | Gao Bowen | |
2023/04/14 | Shotaro Kitamura |