리서치·학습 스킬

Search blogs, documentation, news, and research papers with Exa, retrieving highlights, full text, or summaries alongside results. Filter by date or domain, or use a URL to discover similar pages.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Search beyond academic databases
• Collect page text or summaries with search results
• Find pages similar to a known URL

Use Gemini to discover research papers through related problems and alternative terminology. Results are organized into a table with publication details, code links, and short summaries, with filters for year, venue, and available code.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Discover papers beyond an exact keyword match
• Find research papers with open-source code
• Find papers from selected years or venues

Plan ablation studies, experiments that remove or replace parts of a machine learning method to test their contribution. Define reviewer questions, expected outcomes, priorities, execution order, and compute estimates, then implement experiments and record findings.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Testing the contribution of individual method components
• Planning additional experiments before paper submission
• Prioritizing experiments within a GPU budget

Develop robotics research ideas through literature review, feasibility filtering, novelty checks, and external critique. Get ranked proposals with specific benchmarks, comparison methods, failure metrics, and simulation-first pilot plans matched to available infrastructure.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Exploring research topics in manipulation or navigation
• Choosing robotics ideas that fit available infrastructure
• Planning pilot studies with simulation or existing logs

Understand a single arXiv paper through an AlphaXiv summary, with full text and LaTeX source available when needed. Use it to identify key findings or ask specific questions about methods, experiments, and equations.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Get a quick overview of a paper from its URL
• Check a paper's methods and experimental results
• Ask about equations, proofs, or appendix details

Turn a broad research direction into ranked ideas with clear hypotheses and small experiments. Survey related papers, use another model to challenge candidates, and update priorities using pilot results when suitable computing resources are available.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Turning a broad research topic into concrete ideas
• Finding research gaps in related literature
• Comparing ideas within a computing budget

Search Zhihu, a Chinese knowledge-sharing platform, for answers, articles, people, and topics. Filter by content type and creation date, sort results, and collect structured records containing excerpts, authors, votes, and links across multiple pages.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Finding Zhihu answers and articles on a topic
• Comparing highly upvoted answers
• Collecting recently created content

Turn scattered formulas and theory notes into a derivation that can be checked step by step. Keep definitions and assumptions consistent, distinguish exact identities from approximations, and make hidden conditions and limits explicit.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Organize scattered formulas and theory notes
• Trace the steps behind an algebraic identity
• State conditions and error orders for approximations

Shape broad mathematical interests into precise research questions. Search prior work on definitions and theorems, record traceable sources, map supporting and conflicting evidence, and identify gaps that could lead to testable conjectures.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Tracing a theorem’s variants and related work
• Checking prior work on an integer sequence
• Defining search terms and the scope of a research question

Turn mathematical claims into definitions, lemmas, and proofs for Lean 4 and Mathlib. Check proofs with Lean’s trusted core, separately review whether the formal statement matches the original claim, and record verification evidence.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Verifying an important lemma with Lean 4
• Breaking a theorem into definitions and supporting lemmas
• Checking proofs for sorry, admit, and unauthorized axioms

Navigate a smart contract security knowledge base in a suggested reading order. Find guides covering audit preparation, vulnerability patterns, code searches, reproduction tests, reporting, case studies, and AI tools without losing track of the next topic.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Finding a starting point for learning smart contract auditing
• Following guides from preparation through reporting
• Locating audit case studies

Helps write and review mathematical proofs in natural language. It clarifies assumptions, maps dependencies between claims and lemmas, checks counterexamples and edge cases, and produces a traceable draft that identifies unresolved gaps or necessary changes to the statement.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Filling gaps in a mathematical proof draft
• Mapping dependencies between claims and lemmas
• Searching for counterexamples and edge cases

Clarify the next step in a mathematical research task by identifying what is blocking progress. Select one specialist skill for discovery, derivation, computation, proof, or formal verification, with required inputs and clear stopping conditions.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Decide where to start with an open mathematical question
• Find the next step when papers, formulas, and code are mixed
• Choose between derivation, computation, proof, and formalization

Check mathematical expressions, solve equations, and search bounded ranges for counterexamples using symbolic and numerical libraries. Record assumptions, commands, and results so calculations can be repeated, while keeping computational evidence distinct from general mathematical proof.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Checking identities and integrals with exact arithmetic
• Searching a defined range for counterexamples
• Cross-checking numerical results at higher precision

Gather information from multiple Notion pages and combine it into briefs, summaries, comparisons, or detailed reports. Include citations and source links, identify missing or conflicting evidence, and document findings in Notion.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Summarize information scattered across Notion
• Compare options using existing internal sources
• Prepare reports with citations and source links

Research current news and financial markets through Helium MCP. Compare coverage using bias scores, read summaries combining different perspectives, retrieve live prices and AI analysis, estimate options values, and search trending memes.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Compare news coverage and bias across sources
• Read a synthesis of different views on a current topic
• Research stock, ETF, and cryptocurrency prices

Research private companies with parallel agents covering business, finances, competition, governance, technology, and alternative evidence such as hiring trends. Combine findings into a valuation report that separates verified facts, estimates, conflicting sources, and unknowns.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Researching a private company's business and risks
• Comparing funding valuations with estimated business value
• Finding operating signals in hiring and patent data

Answer questions using a selected Obsidian vault, a collection of linked notes, without changing its files. Choose a search depth and receive answers with page references, clearly identified uncertainty, conflicting evidence, and any missing information.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Find an answer in stored Obsidian notes
• Summarize knowledge in a vault
• Compare conflicting notes and their evidence

Research a defined topic within agreed limits and produce a cited report that distinguishes evidence, inference, contradictions, and gaps. Public web access requires consent, and saving findings or merging them into existing Obsidian notes receives separate review.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Investigate a topic within agreed limits
• Compare conflicting claims and their sources
• Create a cited research report

Create a small interactive HTML playground to explore how something works. It packages an explanation, simulation, or simple game into one screen, with clearly labeled keyboard controls and no network requests or external assets.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Explore a mechanism through interactive controls
• Step through a simulation on one screen
• Explain an idea through a simple game

Search Notion for answers in existing documents and meeting notes. Read the relevant pages, identify the main reference using available evidence, and answer with source links while clearly reporting conflicting information or gaps.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Look up internal policies and procedures in Notion
• Find the main reference among duplicate documents
• Check specifications or meeting decisions before writing

Turn papers, code, experiment logs, and notes into an ARA, a structured research package for AI agents. Organizes claims, evidence, verification plans, code stubs, and research decisions, then checks coverage and consistency across the generated files.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Organize a paper and its code into a research package
• Link research claims to tables, figures, and verification plans
• Preserve failed approaches and research decisions

Explore research directions through ten structured thinking frameworks, then rank ideas by their importance, clarity, and feasibility. Turn a vague interest into a focused proposal with a short explanation, candidate experiments, and an initial feasibility study.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Exploring a new research direction
• Finding fresh angles on a stalled project
• Assessing an early research idea

Creates figures for machine learning papers from draft text or experiment data. Extracts components for Gemini-generated diagrams, chooses suitable charts with matplotlib or seaborn, and adjusts colors, fonts, and export formats for publication.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Turn a method section into an architecture diagram
• Create comparison charts from experiment results
• Plot training loss and accuracy over time