Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
×
Past week
  • Any time
  • Past hour
  • Past 24 hours
  • Past week
  • Past month
  • Past year
All results
7 days ago · Each specification was conceptualized in many distinct ways. Robustness was understood as measures of system performance under adversarial attacks (Guo et al.
15 hours ago · Through extensive testing, I've observed that o1 doesn't naturally engage in the kind of iterative self-improvement that characterizes robust reasoning systems.
3 days ago · OpenAI researchers have introduced Deliberative Alignment, a new approach that directly teaches models safety specifications and trains them to reason over ...
6 days ago · Aligning model and macaque inferior temporal cortex representations improves model-to-human behavioral alignment and adversarial robustness. ... logic ...
3 days ago · Robust satisfiability check and online control synthesis for uncertain systems under signal temporal logic specifications. Preprint. Full-text available. Mar ...
3 days ago · Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction ... Random Attractors: Robustness, Numerics and Chaotic Dynamics.
2 days ago · Signal Temporal Logic (STL), a widely adopted formal specification method, captures dynamic system behavior from a temporal perspective and is extensively used ...
2 days ago · We leverage LLMs' reasoning ability to generate a workflow from natural language questions by providing detailed specifications of each expert model available ...
5 days ago · You can think of robustness as describing the competence envelope itself: a more robust system may have a larger competence envelope, it is designed to handle ...
4 days ago · Evaluation of domain generalization and adaptation on improving model robustness to temporal dataset shift in clinical medicine. Scientific reports, 12(1) ...